| Аннотація | Книги этой серии посвящены теории трансдьсеров - новому разделу математики и кибернетики, связанному с процессами переработки информации. Вначале рассматриваются последовательностные преобразователи, перерабатывающие конечные входные слова в конечные выходные слова, затем более общие модели вычислений: S-преобразователи, перерабатывающие бесконечные слова, макропреобразователи, перерабатывающие бесконечные размеченные деревья. С помощью макропреобразователей может задаваться любая непрерывная вещественная функция. В настоящей книге внимание уделяется основным типам языков иерархии Хомского, рассматриваются машины Тьюринга, конечные автоматы, магазинные преобразователи. В дополнительных разделах рассматриваются двусторонние магазинные автоматы, построен пример группы, задаваемой гнездовым стековым автоматом, указаны примеры фрактальных фигур. Два раздела связаны с известной открытой проблемой о включении класса контекстно-свободных языков в класс языков, распознаваемых двусторонними детерминированными |