Content deleted Content added
wp |
→Simplifications: new section |
||
Line 1:
{{math rating|field=foundations|importance=low|class=start}}
== Simplifications ==
{{ping|Dylanmorroll}} Many thanks for your simplifications. In fact, your result for ''R''{{su|p=2|b=''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 - [[User:Jochen Burghardt|Jochen Burghardt]] ([[User talk:Jochen Burghardt|talk]]) 15:25, 30 April 2018 (UTC)
| |||