Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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