Példa az Early-algoritmus alkalmazására

Az előadások a következő témára: "Példa az Early-algoritmus alkalmazására"— Előadás másolata:

1 Példa az Early-algoritmus alkalmazására
Az elemzésre váró szó ( x + x )  x Szabályok S→ S+ A S→ A A→ A B A→ B B → x B → ( S)

2 ( x + x )  x Szabályok: S→ S+ A S→ A A→ A B A→B B → x B →( S)

3 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

4 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

5 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

6 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

7 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

8 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

9 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

10 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B→. x B→.( S) B→(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

11 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

12 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

13 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

14 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

15 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

16 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

17 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

18 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

19 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

20 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

21 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

22 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

23 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

24 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

25 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

26 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

27 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

28 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

29 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

30 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

31 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

32 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

33 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

34 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

35 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

36 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

37 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

38 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

39 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

40 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

41 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

42 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

43 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

44 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

45 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

46 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

47 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

48 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

49 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

50 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. A→ B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

51 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

52 ( x + x )  x Ez alapján ez az új elem Szabályok: S→S+ A S→ A A→ A B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Szabályok: S→S+ A S→ A A→ A B A→B B → x B →( S) B →. x B →.( S) B → x . Ez alapján ez az új elem

53 A táblázat teljes ( x + x )  x S→.S+A S→. A A→. A B A→.B B →. x
B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B A táblázat teljes B →. x B →.( S) B → x .

54 A szó levezethető ( x + x )  x S→.S+A S→. A A→. A B A→.B B →. x
B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A szó levezethető A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B B →. x B →.( S) B → x .

55 ( x + x )  x Levezetés: S* A S→.S+A S→. A A→. A B A→.B B →. x
B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A B →. x B →.( S) B → x .

56 ( x + x )  x Levezetés: S* A* A B S→.S+A S→. A A→. A B A→.B
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B B →. x B →.( S) B → x .

57 ( x + x )  x Levezetés: S* A* A B * * B  x S→.S+A S→. A
B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B * * B  x B →. x B →.( S) B → x .

58 ( x + x )  x Levezetés: S* A* A B * * B  x * ( S)  x S→.S+A
B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B * * B  x * ( S)  x B →. x B →.( S) B → x .

59 ( x + x )  x Levezetés: S* A* A B *
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B * * B  x * ( S)  x * * ( S+ A)  x B →. x B →.( S) B → x .

60 ( x + x )  x Levezetés: S* A* A B *
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B * * B  x * ( S)  x * * ( S+ A)  x * ( A+ B )  x B →. x B →.( S) B → x .

61 ( x + x )  x Levezetés: S* A* A B *
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B * * B  x * ( S)  x * * ( S+ A)  x * ( A+ B )  x * * ( B + x )  x B →. x B →.( S) B → x .

62 ( x + x )  x Levezetés: S* A* A B *
B →. x B →.( S) B →(. S) B →(S.) B →( S.) B →( S) . A→ B. S→ A. A→ A. B S→ S.+A A→ A . B A→A B. S→ A. A→ A. B S→ S.+A S→.S+A S→. A A→. A B A→.B B →. x B →.( S) B → x . A→ B. S→ A. A→ A. B S→ S.+A S→ S+. A S→ S+A. S→ S.+A A→. A B A→.B B →. x B →.( S) B → x . A→ B. A→ A. B Levezetés: S* A* A B * * B  x * ( S)  x * * ( S+ A)  x * ( A+ B )  x * * ( B + x )  x * ( x + x )  x B →. x B →.( S) B → x .