Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
lfa:2025:lab09 [2026/01/12 09:08] cata_chiru |
lfa:2025:lab09 [2026/01/14 19:49] (current) cata_chiru |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| V - Set of terminals and non-terminals | V - Set of terminals and non-terminals | ||
| - | R - production rules ( $ R \ineq (V \\ \Sigma) x V^n $ ) | + | R - production rules ($ R \subseteq (V \setminus \Sigma) \times V^n $) |
| + | |||
| + | **Property:** Chomsky Normal Form (CNF) - A grammar in CNF is context-free. | ||
| + | - all transitions are of the form: | ||
| + | * $ X \leftarrow YZ $ | ||
| + | * $ X \leftarrow a $ | ||
| + | * $ S \leftarrow \epsilon $ | ||
| + | |||
| + | S is the starting symbol. | ||