Commit 10e9cab7 authored by Kateřina Sloupová's avatar Kateřina Sloupová
Browse files

Hopefully it will merge without any problems.

parents 7467d7ec d2c5d3b6

test/checker/cfl/cfg-2020ex.0.ok

0 → 100644
+4 −0
Original line number Diff line number Diff line 
S -> aaAc | X | aac | ε

X -> abB | ab | B

B -> bb | bbB

A -> aaAc | X | aac

test/checker/cfl/cfg-2020ex.1.ok

0 → 100644
+4 −0
Original line number Diff line number Diff line 
S → X | ε

X → aaXc | M | aac

M → abB | ab | B

B → bbB | bb

test/checker/cfl/cfg-2020ex.2.nok

0 → 100644
+3 −0
Original line number Diff line number Diff line 
S -> aaXc | aac | ε

X -> aaXc | aaBc | aaabBc

B -> bbB

test/checker/cfl/cfg-2020ex.3.nok

0 → 100644
+3 −0
Original line number Diff line number Diff line 
S → aaSc | M | ε

M → abB | B | ε

B → bbB | ε

test/checker/cfl/cfg-2020ex.4.nok

0 → 100644
+3 −0
Original line number Diff line number Diff line 
S → aaSc | abB | bbB | ε

M → abB | bbB | ε

B → bbB | ε