Жемчужины теории формальных языков: пер. с англ.

Жемчужины теории формальных языков, пер. с англ.

Bibliografiset tiedot
Päätekijä:	Саломаа А. Арто
Kieli:	venäjä
Julkaistu:	Москва, Мир, 1986
Aiheet:	формальные языки теория повторения регулярность коды разрешимость неразрешимость морфизмы семейства
Aineistotyyppi:	Kirja
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=62711

Samankaltaisia teoksia

Введение в теорию автоматов, языков и вычислений: пер. с англ.
Tekijä: Хопкрофт Дж. Джон
Julkaistu: (Москва, Вильямс, 2002)

Теория формальных систем пер. с англ.
Tekijä: Смальян Р. Раймонд
Julkaistu: (Москва, Наука, 1981)

Теория формальных языков: Вводный курс; пер. с англ.
Tekijä: Рейуорд-Смит В. Дж
Julkaistu: (Москва, Радио и связь, 1988)

Теория алгоритмов и формальных языков: учебное пособие
Tekijä: Корниенко А. В. Анатолий Васильевич
Julkaistu: (Томск, Изд-во ТПИ, 1987)

Методы исследования нелинейных эллиптических граничных задач
Tekijä: Скрыпник И. В. Игорь Владимирович
Julkaistu: (Москва, Наука, 1990)

Проблемы разрешимости и конструктивные модели
Tekijä: Ершов Е. Л. Юрий Леонидович
Julkaistu: (Москва, Наука, 1980)

Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
Tekijä: Катленд Н. Найджел
Julkaistu: (Москва, Мир, 1983)

Математическая теория формальных языков: учебное пособие
Tekijä: Пентус А. Е. Анна Евгеньевна
Julkaistu: (Москва, БИНОМ. Лаборатория знаний, 2006)

Лекции по математической логике и теории алгоритмов
Tekijä: Верещагин Н. К
Julkaistu: (Москва, МЦНМО, 1999)

Топологическая теория Галуа. Разрешимость и неразрешимость уравнений в конечном виде
Tekijä: Хованский А. Г. Аскольд Георгиевич
Julkaistu: (Москва, МЦНМО, 2008)

Основы теории формальных языков, автоматов и трансляций учебное пособие
Tekijä: Гавриков М. М.
Julkaistu: (Новочеркасск, ЮРГПУ (НПИ), 2015)

Выделение объектов в тексте на основе формальных описаний
Tekijä: Ермаков А. Е.
Julkaistu: (2003)

Языки и автоматы сборник пер. с англ.
Julkaistu: (Москва, Мир, 1975)

Элементы теории алгоритмов и формальных языков учебное пособие
Tekijä: Богатиков В. Н.
Julkaistu: (Тверь, ТвГТУ, 2023)

Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
Tekijä: Золкин А. Л.
Julkaistu: (Санкт-Петербург, Лань, 2025)

Теория формальных языков учебное пособие
Tekijä: Унгер А. Ю.
Julkaistu: (Москва, РТУ МИРЭА, 2022)

Неклассические логики и их применение
Julkaistu: (1982)

Теория формальных грамматик учебное пособие
Tekijä: Штернберг Л. Ф. Леонид Фрицевич
Julkaistu: (Куйбышев, Изд-во КАИ, 1979)

Основы теории алгоритмов методические указания
Tekijä: Красовская Т. Ф.
Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2013)

Теория и технология программирования. Основы построения трансляторов: учебное пособие
Tekijä: Карпов Ю. Г. Юрий Глебович
Julkaistu: (СПб., БХВ-Петербург, 2005)

Теория формальных языков и алгоритмы трансляции учебное пособие по укрупненной группе специальностей
Tekijä: Брехов О. М.
Julkaistu: (Москва, МАИ, 2021)

Введение в теорию алгоритмических языков и компиляторов учебное пособие
Tekijä: Гагарина Л. Г. Лариса Геннадьевна
Julkaistu: (Москва, Форум, 2016)

Теория топосов пер. с англ.
Tekijä: Джонстон П. Т.
Julkaistu: (Москва, Наука, 1986)

Формальные языки и компиляторы учебное пособие для вузов
Tekijä: Малявко А. А. Александр Антонович
Julkaistu: (Новосибирск, Изд-во НГТУ, 2014)

Полугруппы и комбинаторные приложения пер. с англ.
Tekijä: Лаллеман Ж.
Julkaistu: (Москва, Мир, 1985)

Ч. 3 : Теория рекурсии
Julkaistu: (1982)

Красная книга о многообразиях и схемах: пер. с англ.
Tekijä: Мамфорд Д. Дэвид
Julkaistu: (Москва, МЦНМО, 2007)

Теория Галуа
Tekijä: Постников М. М. Михаил Михайлович
Julkaistu: (Москва, 1963)

Математическая логика и теория алгоритмов учебное пособие
Tekijä: Гамова А. Н.
Julkaistu: (Саратов, СГУ, 2020)

Формальные языки и компиляторы учебник для вузов
Tekijä: Малявко А. А. Александр Антонович
Julkaistu: (Москва, Юрайт, 2025)

Формальные языки и компиляторы учебное пособие для вузов
Tekijä: Малявко А. А. Александр Антонович
Julkaistu: (Москва, Юрайт, 2021)

Формальные языки и компиляторы учебное пособие для вузов
Tekijä: Малявко А. А. Александр Антонович
Julkaistu: (Москва, Юрайт, 2022)

Формальные языки и компиляторы учебное пособие для вузов
Tekijä: Малявко А. А. Александр Антонович
Julkaistu: (Москва, Юрайт, 2024)

Этальные когомологии пер. с англ.
Tekijä: Милн Дж. Джеймс
Julkaistu: (Москва, Мир, 1983)

Определение языков программирования интерпретирующими автоматами пер. с англ.
Tekijä: Оллонгрен А.
Julkaistu: (Москва, Мир, 1977)

Категории для работающего математика: пер. с англ.
Tekijä: Маклейн С. Саундерс
Julkaistu: (Москва, Физматлит, 2004)

Дискретная математика для инженера
Tekijä: Кузнецов О. П. Олег Петрович
Julkaistu: (Москва, Энергоатомиздат, 1988)

Гауссовские случайные процессы
Tekijä: Ибрагимов И. А. Ильдар Абдулович
Julkaistu: (Москва, Наука, 1970)

Философское осмысление научной преемственности
Tekijä: Рубанов В. Г. Виталий Георгиевич
Julkaistu: (2009)

Эволюция формальных и неформальных институтов в условиях "новой экономики"
Tekijä: Акерман Е. Н. Елена Николаевна
Julkaistu: (2011)