Читать онлайн «Автоматные счетчиковые машины»

Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Министерство образования и науки Российской Федерации Ярославский государственный университет им. П. Г. Демидова Е. В. Кузьмин, В. А. Соколов Автоматные счетчиковые машины Монография Ярославль 2 0 1 2 Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» УДК 519. 7 ББК З97+В1 К89 Рецензенты: доктор технических наук, профессор Д. О. Бытев; кафедра теории и методики обучения информатике ЯГПУ им. К. Д. Ушинского ОГЛАВЛЕНИЕ Кузьмин, Е. В. Автоматные счетчиковые машины: монография / Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 К89 Е. В. Кузьмин, В. А. Соколов; Яросл. гос. ун-т. им. П. Г. Демидова. — Ярославль: ЯрГУ, 2012. — 160 с. ISBN 978-5-8397-0893-8 Г л а в а 1. Счетчиковые машины . . . . . . . . . . . . . . . . . . . . . . . 6 1. 1. Машины Тьюринга . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Монография посвящена автоматным счетчиковым машинам и тем формальным 1. 2. Алгоритмические проблемы . . . . . . . . . . . . . . . . . . . . . . . . . 13 языкам, которые способны распознавать/задавать эти абстрактные математиче- 1. 3.