[FOM] regular expressions

Adam Kolany dr.a.kolany at wp.pl
Tue Oct 30 17:45:12 EDT 2007

I am sorry for possibly trivial questions:
    1. Is the problem of equality of languages given by two regular
expresions equal decidable?
    2. Is there a (decidable) formal system for proving the above
regards, Adam Kolany

More information about the FOM mailing list