In this we try to play with coinduction on regular expressions to prove simplification rules. We base the idea of the paper: Automata and Coinduction (An Exercise in Coalgebra) - J.J.M.M. Rutten
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
In this we try to play with coinduction on regular expressions to prove simplification rules. We base the idea of the paper: Automata and Coinduction (An Exercise in Coalgebra) - J.J.M.M. Rutten