createTransitionTableEntryForState(s); createSpecialTable(s); createEOTAndEOFTables(s);
createTransitionTableEntryForState(s); createSpecialTable(s); createEOTAndEOFTables(s);
createTransitionTableEntryForState(s); createSpecialTable(s); createEOTAndEOFTables(s);
createTransitionTableEntryForState(s); createSpecialTable(s); createEOTAndEOFTables(s);