Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
equivalence_of_finite_state_machine_and_regular_expression_languages [2008/09/23 21:08]
vkuncak
equivalence_of_finite_state_machine_and_regular_expression_languages [2008/09/23 21:09] (current)
vkuncak
Line 50: Line 50:
  
 ++++One solution:| ++++One solution:|
-((""​|a|aa)b)* (""​|a|aa) +++++(($\epsilon$|a|aa)b)* ($\epsilon$|a|aa) ++++
  
 
equivalence_of_finite_state_machine_and_regular_expression_languages.txt · Last modified: 2008/09/23 21:09 by vkuncak
 
© EPFL 2018 - Legal notice