Главная страница
Навигация по странице:

  • Содержание

  • 3. Иерархия Хомского порождающих грамматик и языков

  • 1.2. Лемма о накачке

  • Карпов. СодержаниеПредислови Конечные автоматы


    Скачать 1.07 Mb.
    НазваниеСодержаниеПредислови Конечные автоматы
    АнкорКарпов.pdf
    Дата18.03.2019
    Размер1.07 Mb.
    Формат файлаpdf
    Имя файлаКарпов.pdf
    ТипДокументы
    #26044
    страница1 из 7
      1   2   3   4   5   6   7

    Санкт-Петербургский Политехнический университет
    Факультет Технической кибернетики
    Ю.Г.Карпов
    Задачи по курсу
    “Автоматы и формальные языки”
    Санкт-Петербург, 2013

    2
    Содержание
    Предисловие
    1.
    Конечные автоматы
    -
    распознаватели
    формальных языков
    1.1. Детерминированные конечные автоматы-распознаватели
    1.2. Лемма о накачке
    1.3. Недетерминированные конечно-автоматные распознаватели
    1.4. Трансляция автоматных языков
    2.
    Регулярные множества, регулярные выражения и автоматные языки
    2.1. Регулярные множества и регулярные выражения
    2.2. Регулярные выражения и конечные автоматы
    2.3. Лексические анализаторы
    3. Иерархия Хомского порождающих грамматик и языков
    3.1. Порождающие грамматики Хомского
    3.2. Контекстно-зависимые грамматики
    3.3. Контекстно-свободные грамматики
    3.4. Автоматные грамматики
    4.
    Иерархия распознающих автоматов
    для порождающих грамматик Хомского
    4.1. Автоматные грамматики и конечные автоматы
    4.2. Контекстно-свободные грамматики и МП-автоматы
    4.3. Машины Тьюринга как распознаватели языков
    5
    . Другие модели задания формальных языков
    5.1. БНФ-нотация и грамматики Хомского
    5.2. Сеть Петри как модель абстрактного языка
    5.3. Синтаксические диаграммы и грамматики Хомского
    5.4. Грамматики с рассеянным контекстом
    6
    . Язык Милан и стековая машина
    6.1. Стековая машина
    6.2. Язык Милан
    7.
    Атрибутные трансляции и двусмысленные КС
    -
    грамматики
    7.1. Теория атрибутной семантики Кнута
    7.2. Примеры атрибутных трансляций
    7.3. Трансляция арифметических выражений
    8.
    Распознаватели подклассов КС
    -
    языков
    8.1. s-грамматики
    8.2. LL(k)-грамматики
    8.3. Грамматики рекурсивного спуска
    8.4. Грамматики предшествования
    8.5. LR-грамматики
    8.6. Универсальные алгоритмы распознавания КС языков
    9.
    Трансляция конструкций языков программирования
    9.1. Контекстно-зависимые элементы в языках программирования
    9.2. Трансляция конструкций управления
    9.3. Трансляция и внутреннее представление структур данных

    3
    Предисловие
    Сборник включает основные типовые задачи по курсу “Автоматы и формальные языки”, который читается на факультете технической кибернетики Санкт-Петербургского
    Политехнического университета. Задачи разбиты по разделам. Рекомендуется решать задачи каждого раздела сразу после прослушивания соответствующей лекции.
    Задачи, требующие размышления или некоторого времени для их решения, помечены звездочкой (*). Двумя звездочками помечены задачи, которые представляют собой программный проект.
    Освоение методов и приемов решения задач по построению грамматик формальных языков, по использованию методов синтаксического анализа и семантических определений, так же, как и освоение практических умений построения трансляторов являются главными целями курса.
    По курсу проводится письменный экзамен, который состоит в решении задач.
    Экзаменационные варианты составляются из задач данного сборника, возможно, с измененными данными. Поэтому умение самостоятельно решать задачи сборника гарантирует студенту положительную оценку на экзамене.

    4
    1.
    Конечные автоматы
    -
    распознаватели формальных языков
    1.1. Детерминированные конечные автоматы-распознаватели
    1.1.1. Формальное определение того, что состояние s конечного автомата A=(S,

    , s
    0
    ,

    , F) является достижимым, записывается так:
    Достижимо (s)

    (
    
    *) [

    *(s
    0
    ,

    )=s], что словами можно сказать так:
    Состояние s достижимо в конечном автомате А=(S,

    , s
    0
    ,

    , F) тогда и только
    тогда, когда существует цепочка символов над входным словарем

    автомата, под
    воздействием которой автомат из начального состояния переходит в s.
    Запишите формальное определение и словесную формулировку определения недостижимого состояния в конечном автомате.
    1.1.2. Формальное определение того, что состояние s конечного автомата A=(S,

    , s
    0
    ,

    , F) является кодостижимым, записывается так:
    Кодостижимо (s)

    (
    
    *) [

    *(s,

    )

    F ], что словами можно сказать так:
    Состояние s кодостижимо в конечном автомате А=(S,

    , s
    0
    ,

    , F) тогда и только
    тогда, когда существует цепочка символов над входным словарем

    автомата, под
    воздействием которой автомат из состояния s переходит в одно из допускающих
    состояний.
    Запишите формальное определение и словесную формулировку определения не кодостижимого состояния в конечном автомате.
    1.1.3. Формальное определение того, что язык L над словарем

    допускается конечным автоматом А=(S,

    , s
    0
    ,

    , F), записывается так:
    L
    
    * допускается А

    (
    
    *) [(
    
    L)


    *(s
    0
    ,

    )

    F], что словами можно сказать так:
    Язык L над словарем

    допускается конечным автоматом А тогда и только тогда,
    когда любая цепочка символов этого словаря принадлежит языку L если и только если
    она переводит автомат А в одно из допускающих состояний.
    Запишите формально и словесно определение того, что язык L
    
    * не допускается конечным автоматом А=(S,

    , s
    0
    ,

    , F).
    1.1.4. Два конечных автомата-распознавателя А=(S
    А
    ,

    , s

    ,

    А
    , F
    А
    ) и В=(S
    В
    ,

    , s

    ,

    В
    , F
    В
    ) с одним и тем же входным алфавитом

    эквивалентны, если и только если они распознают один и тот же язык, т.е. любая входная цепочка приводит автомат А в допускающее состояние тогда и только тогда, когда она приводит в допускающее состояние и автомат В. Формально это записывается так:
    A

    B

    (
    

    *) [

    *
    A
    (s
    0A
    ,

    )

    F
    A


    *
    B
    (s
    0B
    ,

    )

    F
    B
    ]

    5
    Определите формально, когда два конечных автомата-распознавателя не эквивалентны, и дайте словесную формулировку этого.
    1.1.5. Два состояния p и q конечного автомата-распознавателя А=(S,

    , s
    0
    ,

    , F) эквивалентны, если и только если любая входная цепочка приводит автомат А в допускающее состояние из p тогда и только тогда, когда она приводит его в допускающее состояние из q. Формально это записывается так: q

    r

    (
    
    *) [

    *(p,

    )

    F


    *(q,

    )

    F ].
    Определите формально, когда два состояния конечного автомата-распознавателя не эквивалентны, и дайте словесную формулировку этого.
    1.1.6. Запишите формальное определение того, что L(A) = L(B)

    L(C), т.е. что конечный автомат А=(S,

    , s
    0
    ,

    , F) допускает пересечение двух автоматных языков, которые заданы распознающими их конечными автоматами В=(S
    В
    ,

    , s

    ,

    В
    , F
    В
    ) и С=(S
    С
    ,

    , s

    ,

    С
    , F
    С
    ) над тем же конечным словарем

    1.1.7. Постройте конечный автомат с входным алфавитом

    ={a, b}, распознающий: а) пустой язык; б) язык, содержащий только одну пустую цепочку

    ; в) язык

    *, состоящий из всех возможных цепочек в словаре

    ={a, b}; г) язык

    +
    , состоящий из всех непустых цепочек в словаре

    ={a, b}.
    1.1.8. Постройте конечный автомат, который распознает все цепочки из символов 0 и 1, которые представляют собой двоичные числа, делящиеся на 5. Примеры таких цепочек:
    011001, 1010.
    1.1.9. Постройте детерминированный конечный автомат с входным алфавитом {0, 1}, распознающий: а) все цепочки, кончающиеся кодом 11010. б) все цепочки, кроме тех цепочек, которые кончаются кодом 11010. в) все цепочки, в которых не встречается трех единиц подряд. г) все цепочки, кроме тех, которые включают код 11010 в качестве подцепочки.
    1.1.10. Постройте детерминированный конечный автомат с входным алфавитом {a, b, c}, распознающий: а) все цепочки, кроме тех, которые включают код abcac в качестве подцепочки б) все цепочки, в которые входит четное число символов а и нечетное число b. c) все цепочки, в которых перед каждым символом а и после каждого а стоит символ b.
    1.1.11. Пусть дан конечный автомат-распознаватель А=(S,

    ,

    , F), где:
    S={s0, s1, s2, s3, s4};

    ={a, b, c};

    ={(s0,a,s1), (s0,b,s3), (s0,c,s3), (s1,a,s1), (s1,b,s2), (s1,c,s3), (s2,a,s1), (s2,b,s3), (s2,c,s4),
    (s3,a,s1),(s3,b,s3), (s3,c,s3), (s4,a,s1), (s4,b,s3), (s4,c,s3)};
    F={s4}.

    6
    Минимизируйте конечный автомат А с помощью треугольной матрицы. Какой язык определяет этот автомат?
    1.1.12. Поведение дискретных событийных систем можно описать цепочками событий, которые случаются в процессе их функционирования. Пусть поезд циркулирует по маршруту, включающему тоннель. Динамику движения поезда можно абстрактно описать автоматом с тремя состояниями: находится вне тоннеля, ожидает разрешения входа в тоннель, находится внутри тоннеля. События, вызывающие переход из состояния в состояние: a (arrive) - прибытие к тоннелю, e - (enter) вход в тоннель, l (leave) – выход из тоннеля.
    Последовательность событий при движении поезда: aelaelaelae... . Возможные цепочки при движении двух поездов, двигающихся в разных направлениях, могут быть корректными и некорректными. Например, корректная цепочка a
    1
    a
    2
    e
    1
    l
    1
    e
    2
    l
    2
    a
    2
    e
    2
    a
    1
    l
    2
    e
    1
    ... - попеременное использование тоннеля. Примеры некорректных поведений: i) a
    1
    a
    2
    e
    1
    l
    1
    a
    1
    e
    2
    e
    1 .
    авария, столкновение в тоннеле, ii) a
    1
    a
    2
    e
    1
    l
    1
    a
    1
    e
    1
    l
    1
    a
    1
    e
    1
    l
    1
    a
    1
    e
    1
    l
    1
    ... бесконечное ожидание поездом 2 у входа в тоннель, который постоянно занимается встречными поездами.
    Постройте примеры цепочек, описывающих правильные поведения:
    а) взаимное исключение использования поездами общего ресурса – тоннеля.
    б) поочередное использование поездами общего ресурса.
    в) “справедливое” использование ресурса (если поезд ожидает перед тоннелем, в который вошел другой поезд, то первый войдет в тоннель до того, как второй займет его в следующий раз).
    г) “приоритетное право” одного из направлений пользования ресурсом (поезд на приоритетном направлении не ожидает, если тоннель при его прибытии не занят).
    1.1.13. Следующая сформулированная Э.Дейкстрой задача “обедающие философы” является классической задачей параллельного программирования, проясняющая с помощью красивой метафоры суть проблем, возникающих в системе параллельных процессов с общими ресурсами. Задача состоит в следующем. Пять философов обдумывают философские проблемы, сидя за круглым столом, и время от времени едят. Число философов N с номерами
    0, ... N-1. Перед каждым философом стоит тарелка со спагетти, между каждой парой философов лежит вилка. Эта вилка является левой для одного философа и правой для другого.
    Спагетти можно есть только двумя вилками. Проголодавшись, каждый философ берет сначала левую от себя вилку (если она свободна), затем правую вилку, ест, после чего кладет обе вилки. События для i-го философа такие: iTi - i-й философ взял i-ю вилку (слева от него); iT(i+1) – i-й философ взял (i+1)-ю вилку (сложение здесь по модулю N); iR – i-й философ положил обе свои вилки. а) Постройте два конечных автомата, моделирующих поведение только двух философов за столом с номерами 0 и 1. б) Постройте два конечных автомата, определяющих состояния двух вилок с номерами
    0 и 1. в) Проверьте, существует ли опасность дедлока в системе из двух философов и двух вилок, построив синхронную композицию процессов.

    7 г) Проанализируйте проблему двух обедающих философов при следующих правилах поведения за столом: проголодавшись, философ берет любую свободную вилку, а затем другую вилку, если она свободна.
    1.1.14. Проверьте эквивалентность двух заданных конечных автоматов-распознавателей, построив их синхронную композицию.
    1.1.15. По заданному конечному автомату-распознавателю постройте эквивалентный минимальный конечный автомат.
    1.1.16. Формальный язык L называется префиксно-замкнутым, если с каждой цепочкой языка
    L содержит и все префиксы этой цепочки (т.е. начальные части цепочки). По любому языку L можно построить префиксно-замкнутый язык, который обозначается Pref(L). а) Постройте префиксный язык для языка, заданного регулярным выражением аb*(a+b). б) Является ли префиксно-замкнутым язык, заданный регулярным выражением b*(a+b)*? в) Постройте детерминированный конечный автомат, который распознает язык Pref(L), если L задан регулярным выражением (a+b)*ab*. г) Если L – автоматный, то будет ли Pref(L) автоматным? д) Языки L1 и L2 называются конфликтующими, если
    Pref ( L1 )

    Pref ( L2 )

    Pref ( L1

    L2 ).
    Приведите примеры конфликтующих и неконфликтующих языков.
    1.1.17. В качестве адреса электронной почты нельзя выбрать произвольную цепочку символов.
    Такие адреса определяются следующим образом. До символа „@‟ может идти любая последовательность, состоящая из непустых групп - латинских букв и цифр, разделенных точками. После символа „@‟ могут идти любые непустые последовательности латинских букв и цифр, разделенных точками. Постройте конечный автомат, распознающий правильную структуру адреса электронной почты.
    1.1.18. Процессор обрабатывает поток работ, имея на входе очередь, которая может хранить не более одной работы. Если пришедшая работа нашла очередь непустой, она отбрасывается.
    Работы во входном потоке могут быть двух приоритетов: 1 и 2. Приоритет 2 работ более высокий. Если работа нашла систему занятой (и очередь, и процессор заняты), эта работа отбрасывается, не попадая в систему. Более приоритетная работа не может ждать менее приоритетную: если пришла приоритетная работа, очередь пуста, а работа более низкого приоритета обрабатывается, то приоритетная работа выталкивает менее приоритетную в специальный буфер. Если процессор завершил работу, и его не ожидает в очереди работа приоритета 2, то он сначала продолжит обрабатывать работу, находящуюся в буфере.
    Постройте граф переходов для системы очередь-процессор-буфер с событиями: пришла работа 1 приоритета, пришла работа 2 приоритета, процессор закончил обработку очередной работы.
    1.1.19. Два процессора обрабатывают поток работ, имея на входе очередь ожидающих работ, которая может хранить не более одной работы. Обработку работы начинает процессор 1, если он свободен. Когда процессор 1 завершает обработку, он может передать работу для

    8 дальнейшей обработки, только если процессор 2 свободен. Если пришедшая работа нашла очередь непустой, она отбрасывается.
    Постройте граф переходов для системы очередь-процессор1- процессор2.
    1.1.20. Два процессора, Р1 и Р2 последовательно обрабатывают поток работ, имея на входе буфер В1, который может хранить не более одной работы. Между процессорами Р1 и Р2 есть буфер В2, который также может хранить не более одной работы. Обработку начинает процессор Р1. Когда Р1 завершает обработку, он может передать работу для дальнейшей обработки, только если буфер В2 свободен. Если пришедшая работа нашла входной буфер
    В1 непустым, она отбрасывается. Завершение обработки процессора при наличии во входном буфере работы сразу приводит к загрузке этой работы процессором для обработки. Постройте граф переходов системы В1||P1||B2||P2.
    1.1.21. Три процессора, Р1, Р2 и Р3 обрабатывают поток работ, имея на входе буфер В, который может хранить не более одной работы. Обработку работ начинает процессор Р1, затем работа обрабатывается либо Р2, либо Р3. Когда Р1 завершает обработку, он может передать ее для дальнейшей обработки либо процессору Р2, либо процессору Р3, только если эти процессоры свободны. Если пришедшая работа нашла входной буфер В непустым, она отбрасывается. Завершение работы процессора Р1 при наличии в буфере В работы сразу приводит к загрузке этой работы процессором для обработки. Постройте граф переходов системы В||P1||Р2||P3.
    1.1.22. Могут ли два эквивалентных состояния конечного автомата-распознавателя быть: а) оба допускающими? б) оба недопускающими? в) одно допускающим, а другое недопускающим?
    Ответ обоснуйте.
    1.1.23. Комбинации, открывающие сейф, набираются из алфавита {a, b, c}, каждая состоит из четырех символов и начинается и заканчивающаяся несовпадающими символами. Если набран неверный код, то система поднимает тревогу. Постройте алгоритм работы встроенной системы управления замком сейфа (на паскалеподобном языке).
    1.2. Лемма о накачке
    1.2.1. Лемма о накачке формально выражается следующим образом.
    Лемма 1. Пусть L – язык над алфавитом

    Если L - автоматный, то:
    (

    n

    N)(
    
    L: |

    |

    n)(

    u,v,w
    
    *) [

    =uvw

    |uv|

    n

    |v|

    1

    (

    i

    N

    {0}) uv
    i
    w

    L ].
    Сформулируйте лемму 1 словесно по этому выражению логики предикатов.
    1.2.2. Другая формулировка леммы о накачке, которую удобнее применять, чтобы доказать неавтоматность заданного языка, формально выражается так.
      1   2   3   4   5   6   7


    написать администратору сайта