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:13] cata_chiru |
lfa:2025:lab09 [2026/01/14 19:49] (current) cata_chiru |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| R - production rules ($ R \subseteq (V \setminus \Sigma) \times 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. | ||