Логические эксперименты с автоматами. В.А.Твердохлебов
В книге изложены результаты исследований по построению общей аксиоматической теории распознавания автоматов, включающей распознавание автоматов с магазинной памятью, линейно-ограниченных автоматов и машин Тьюринга. Показывается алгоритмическая...