Fix FormalLangTheory for tight equality
Delete trailing whitespace
playground for formal language theory developments.