Revision history [back]

Je ten v výsledek vážně dobře? Mě to vychází trošku jinak. (na dvou posledních řádcích jsem využil eps, abych tam nemusel psát spoustu věcí dvakrát)

C -> AB | a | ABC | aC
C -> BCB | aB | BCBC | aBC | aC | a
C -> CACB | abCB | CAB'CB | abB'CB | aB | CACBC | abCBC | CAB'CBC | abB'CBC | aBC | aC | a
C -> abCBC' | abB'CBC' | aBC' | abCBCC' | abB'CBCC' | aBCC' | aCC' | aC'

C' -> ACBC' | AB'CBC' | CACBCC' | CAB'CBCC' | eps

Je ten v výsledek vážně dobře? Mě to vychází trošku jinak. (na dvou posledních řádcích jsem využil eps, abych tam nemusel psát spoustu věcí dvakrát)

C -> AB | a | ABC | aC 
 
C -> BCB | aB | BCBC | aBC | aC | a 
 
C -> CACB | abCB | CAB'CB | abB'CB | aB | CACBC | abCBC | CAB'CBC | abB'CBC | aBC | aC | a 
 
C -> abCBC' | abB'CBC' | aBC' | abCBCC' | abB'CBCC' | aBCC' | aCC' | aC'
aC'
  
C' -> ACBC' | AB'CBC' | CACBCC' | CAB'CBCC' | epseps