Lõplik olekumuundur
Lõplikuks olekumuunduriks nimetatakse lõplikku olekumasinat, millel on kaks mälulinti: sisend ja väljund. Tavalisel lõplikul olekumasinal on vaid üks mälulint. Lõplik olekumuundur on selline lõpliku oleku automaat, mis kaardistab kahe hulga sümbolite vahel. Lõpliku olekuga automaat defineerib formaalse keele määrates hulga masina poolt aktsepteeritud sõnu, aga olekumuundur defineerib suhted sõnade vahel, seetõttu peetakse lõplikku olekumuundurit ka üldisemaks kui lõplikku oleku automaati.