Talk:Kleene's algorithm
Jump to navigation
Jump to search
WikiProject Mathematics | (Rated Start-class, Low-importance) | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Simplifications[edit]
@Dylanmorroll: Many thanks for your simplifications. In fact, your result for R2
01 coincides with the expression I obtained intuitively from the automaton picture, cf. File:Deterministicfiniteautomaton.svg#Summary. I'm not sure your proofs should be shown in the article (it might depend on their length), but I'd be personally interested to see them. In particular, I wonder whether they needed some intuition or whether they were possible by mechanizable application of simplification rules. Would it be possible for you to upload the proofs (a jpg of a handwritten version might be achievable with least effort, I guess)? Thanks in advance. Best regards - Jochen Burghardt (talk) 15:25, 30 April 2018 (UTC)