Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
lfa:2022:proiect-wip [2022/10/31 11:45] mihai.udubasa [Forma Prenex] fix formatting |
lfa:2022:proiect-wip [2022/10/31 14:10] (current) mihai.udubasa [Forma Prenex a expresiilor regulate] fix second-to-last example to be more clear |
||
|---|---|---|---|
| Line 69: | Line 69: | ||
| * ''CONCAT PLUS c UNION a PLUS b'', echivalent cu $math[c^+( a \cup (b^+) )] | * ''CONCAT PLUS c UNION a PLUS b'', echivalent cu $math[c^+( a \cup (b^+) )] | ||
| - | * ''UNION ' ' '@' ''; ''STAR '#' '' | + | * ''UNION ' ' '@%%'%%'', accepta limbajul { '' '' , ''@'' } |
| - | * ''UNION eps a'', ''MAYBE a'', echivalente cu $math[a\cup \epsilon] | + | * ''UNION eps a'', ''MAYBE a'', echivalente cu $ma |
| + | th[a\cup \epsilon] | ||
| * ''void'' | * ''void'' | ||