«Соңғы автоматтар және формальдік тілдер теориясы»

Басқаша айтқанда екі соңғы автоматтың өңдірісі болып табылатын соңғы автоматтың қалпы бастапқы автоматтардың қос қалпынан тұрады.Оның бастапқы қалпы – олардың бастапқы қалыптарының қосығы. Шығу алфовиті – көптеген шығу автомат - көбейткіштердің шығу символдарының қосақтары. Өту және шығу функциялары дұрыс анықталмаған. Сөйтіп, соңғы автоматтардың нақты өндірісі – бұл қарапайым екі қатар тұрған, өзара ықпал етпейтін соңғы автоматтар, ортақ кірісте синхронды жұмыс жасайды.