FCIM.LFAF21.2 Limbaje formale și automate finite

Résumé de section

• Sélectionner la section Généralités

  Replier Déplier

  Généralités

  Tout replier Tout déplier

  • Sélectionner l’activité ФОРМАЛЬНЫЕ ЯЗЫКИ И АВТОМАТЫ

    

    ФОРМАЛЬНЫЕ ЯЗЫКИ И АВТОМАТЫ Forum

    Формирование способностей использования формальных языков для решения задач в различных областях.
    Получить навыки анализа формальных языков.
    Использование методов решения задач из области формальных языков.

    
    
  • Sélectionner l’activité Fisa_TI_3_LFA

    

    Fisa_TI_3_LFA Glossaire

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Fisa_TI_3_LFA 

  • Sélectionner l’activité ВОПРОСЫ_LFA

    

    ВОПРОСЫ_LFA Glossaire

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    ВОПРОСЫ_LFA
    

• Sélectionner la section ТЕМА 1: Основные понятия: алфавит, цепочка, язык. Способы определения формальных языков. Примеры

  Replier Déplier

  ТЕМА 1: Основные понятия: алфавит, цепочка, язык. Способы определения формальных языков. Примеры

  • Sélectionner l’activité S1

    

    S1 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Примеры формальных грамматик и языков в соответствии классификации Хомского
    

• Sélectionner la section ТЕМА 2: Формальные грамматики и языки по классификации Хомского

  Replier Déplier

  ТЕМА 2: Формальные грамматики и языки по классификации Хомского

  • Sélectionner l’activité S1

    

    S1 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Примеры формальных грамматик и языков в соответствии классификации Хомского
    

• Sélectionner la section ТЕМА 3: Регулярная грамматика и конечные автоматы. Определения, примеры

  Replier Déplier

  ТЕМА 3: Регулярная грамматика и конечные автоматы. Определения, примеры
• Sélectionner la section ТЕМА 4: Графическое представление конечного автомата. Детерминированный и недетерминированный конечный автомат. Алгоритм построения детерминированного автомата эквивалентного недетерминированному

  Replier Déplier

  ТЕМА 4: Графическое представление конечного автомата. Детерминированный и недетерминированный конечный автомат. Алгоритм построения детерминированного автомата эквивалентного недетерминированному

  • Sélectionner l’activité S2

    

    S2 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Эквивалентное преобразование недетерминированного конечного автомата в детерминированный. Примеры
    

• Sélectionner la section ТЕМА 5 : Эквивалентность регулярной грамматики и конечного автомата. Теорема GF.

  Replier Déplier

  ТЕМА 5 : Эквивалентность регулярной грамматики и конечного автомата. Теорема GF.

  • Sélectionner l’activité S3

    

    S3 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Эквивалентное преобразование регулярной грамматики в конечный автомат. Теорема GF. Примеры
    

• Sélectionner la section ТЕМА 6: Эквивалентность конечного автомата и регулярной грамматики. Теорема FG.

  Replier Déplier

  ТЕМА 6: Эквивалентность конечного автомата и регулярной грамматики. Теорема FG.

  • Sélectionner l’activité S4

    

    S4 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Эквивалентное преобразование конечного автомата и регулярной грамматики. Теорема FG. Примеры
    

• Sélectionner la section ТЕМА 7: Лемма о разрастании регулярных языков. Приложение леммы о разрастании

  Replier Déplier

  ТЕМА 7: Лемма о разрастании регулярных языков. Приложение леммы о разрастании

  • Sélectionner l’activité S5

    

    S5 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Лемма о разрастании регулярных языков. Примеры
    

  • Sélectionner l’activité ДЗ

    

    ДЗ Devoir

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    ИНДИВИДУАЛЬНОЕ ЗАДАНИЕ

• Sélectionner la section ТЕМА 8: Регулярные выражения

  Replier Déplier

  ТЕМА 8: Регулярные выражения
• Sélectionner la section ТЕМА 9: Контекстно-свободные языки. Упрощение контекстно-свободной грамматики

  Replier Déplier

  ТЕМА 9: Контекстно-свободные языки. Упрощение контекстно-свободной грамматики

  • Sélectionner l’activité S6

    

    S6 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Упрощение контекстно-свободной грамматики. Удаление цепных правил. Удаление e-продукции. Примеры
    

• Sélectionner la section ТЕМА 10: Удаление цепных правил. Алгоритм удаления цепных правил

  Replier Déplier

  ТЕМА 10: Удаление цепных правил. Алгоритм удаления цепных правил

  • Sélectionner l’activité S6

    

    S6 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Упрощение контекстно-свободной грамматики. Удаление цепных правил. Удаление эпсилон-продукции. Примеры
    

• Sélectionner la section ТЕМА 11: Удаление эпсилон-продукции. Алгоритм удаления эпсилон-продукции

  Replier Déplier

  ТЕМА 11: Удаление эпсилон-продукции. Алгоритм удаления эпсилон-продукции

  • Sélectionner l’activité S6

    

    S6 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Упрощение контекстно-свободной грамматики. Удаление цепных правил. Удаление e-продукции. Примеры
    

• Sélectionner la section ТЕМА 12: Нормальная форма Хомского. Приведение к нормальной форме Хомского

  Replier Déplier

  ТЕМА 12: Нормальная форма Хомского. Приведение к нормальной форме Хомского

  • Sélectionner l’activité S7

    

    S7 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Приведение к нормальной форме Хомского. Примеры
    

• Sélectionner la section Тема 13: Левая рекурсия. Алгоритм удаления левой рекурсии

  Replier Déplier

  Тема 13: Левая рекурсия. Алгоритм удаления левой рекурсии

  • Sélectionner l’activité S8

    

    S8 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Удаление левой рекурсии. Нормальная форма Грейбаха. Примеры
    

• Sélectionner la section ТЕМА 14: Нормальная форма Грейбаха

  Replier Déplier

  ТЕМА 14: Нормальная форма Грейбаха

  • Sélectionner l’activité S8

    

    S8 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Удаление левой рекурсии. Нормальная форма Грейбаха. Примеры
    

• Sélectionner la section ТЕМА 15: Теорема «uvwxy». Лемма о разрастании контекстно-свободных грамматик. Приложение теоремы «uvwxy».

  Replier Déplier

  ТЕМА 15: Теорема «uvwxy». Лемма о разрастании контекстно-свободных грамматик. Приложение теоремы «uvwxy».

  • Sélectionner l’activité S9

    

    S9 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Применение лемма о разрастании контекстно-свободных грамматик. Примеры
    

• Sélectionner la section ТЕМА 16: Проектирование лексического анализатора

  Replier Déplier

  ТЕМА 16: Проектирование лексического анализатора
• Sélectionner la section ТЕМА 17: Автоматы с магазинной памятью. Зеркальный язык

  Replier Déplier

  ТЕМА 17: Автоматы с магазинной памятью. Зеркальный язык

  • Sélectionner l’activité S10

    

    S10 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Автомат с магазинной памятью. Примеры
    

• Sélectionner la section ТЕМА 18: Формальные грамматики и синтаксический анализатор

  Replier Déplier

  ТЕМА 18: Формальные грамматики и синтаксический анализатор

  • Sélectionner l’activité S11

    

    S11 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Восходящий синтаксический анализ на основе грамматики простого предшествования Вирта - Вебера. Примеры
    

• Sélectionner la section ТЕМА 19: Грамматики простого предшествования Вирта - Вебера. Матрица отношений предшествования. Построение отношений предшествования. Алгоритм исключения двойственных отношений

  Replier Déplier

  ТЕМА 19: Грамматики простого предшествования Вирта - Вебера. Матрица отношений предшествования. Построение отношений предшествования. Алгоритм исключения двойственных отношений

  • Sélectionner l’activité S11

    

    S11 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Восходящий синтаксический анализ на основе грамматики простого предшествования Вирта - Вебера. Примеры
    

• Sélectionner la section ТЕМА 20: Предсказывающая анализирующая машина

  Replier Déplier

  ТЕМА 20: Предсказывающая анализирующая машина

  • Sélectionner l’activité S12

    

    S12 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Предсказывающая анализирующая машина
    

• Sélectionner la section ТЕМА 21: Синтаксический анализатор на основе LL (1) грамматики

  Replier Déplier

  ТЕМА 21: Синтаксический анализатор на основе LL (1) грамматики

  • Sélectionner l’activité S13

    

    S13 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Нисходящий синтаксический анализ на основе LL (1) грамматики. Примеры
    

• Sélectionner la section ТЕМА 22: Алгоритм эквивалентного преобразования грамматики с исключением общего префикса

  Replier Déplier

  ТЕМА 22: Алгоритм эквивалентного преобразования грамматики с исключением общего префикса

  • Sélectionner l’activité S13

    

    S13 Atelier

    Achèvement

    Les étudiants doivent

    

    Marquer comme terminé

    Нисходящий синтаксический анализ на основе LL (1) грамматики. Примеры