TR | RU | KK | BE | EN |

Формальна мова

формальна мовалис, формальна моваген
Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).

В тому випадку, коли кожному слову формальної мови співставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою.

Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання:

  • Автоматна мова,
  • Безконтекстна мова,
  • Категоріальна мова,
  • Мова породжувана граматиками залежностей,

і так далі, або за застосуванням:

  • Алгоритмічна мова,
  • Інформаційна мова,
  • Логіко-математична мова,
  • Математичні моделі мови.

Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.

Зміст

  • 1 Як математична дисципліна
    • 1.1 Мета і завдання дисципліни
    • 1.2 Зміст дисципліни
  • 2 Джерела інформації
  • 3 Див. також

Як математична дисципліна

Формальні мови — математична дисципліна, що вивчає формальні мови, їх задання (граматики), класифікацію, та аналіз.

Дисципліна часто вивчається паралельно з теорією автоматів, або в її складі, так як вони є основним інструментом для роботи з мовами (як при генерація, так і при розпізнавання), та саме вони використовуються на практиці (в програмуванні).

Мета і завдання дисципліни

Формальні мови - це теоретичне підґрунтя до системного програмування, а саме до побудови трансляторів.

Дисципліна займається:

  • побудова граматики заданого типу, що породжує задану мову, та навпаки (визначення того, яку мову задає граматика)
  • побудова та мінімізація скінченних автоматів що розпізнають дану (регулярну) мову, та навпаки
  • побудова регулярних виразів, для даної мови, та навпаки.
  • аналіз типу формальних мов за ієрархією Хомського
  • побудова магазинних (стекових) автоматів для аналізу контекстно-вільних мов, та навпаки.
  • аналіз мереж Петрі.

Зміст дисципліни

  1. Поняття формальної мови та формальної граматики. Ієрархія Хомського.
  2. Мови типу 0 і машини Тюрінга.
  3. Регулярні мови і скінченні автомати.
  4. Контекстно-вільні мови і магазинні (стекові) автомати.
  5. Контекстно-залежні мови і лінійно-обмежені машини Тюрінга.
  6. Мережі Петрі.


Джерела інформації

  • Енциклопедія кібернетики, Ющенко К. Л., т. 2, ст. 618.
  1. Теорія автоматів і формальних мов на кафедрі математичних методів та системного аналізу Київського політехнічного інституту.

Див. також

Портал «Математика»
  • Формальна граматика,
  • Мова програмування,
  • Синтаксичний аналіз,
  • Автомат скінченний.


Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.

формальна мова програмування, формальна мова єднання, формальна моваген, формальна мовалис


Формальна мова Інформацію Про

Формальна мова


  • user icon

    Формальна мова beatiful post thanks!

    29.10.2014


Формальна мова
Формальна мова
Формальна мова Ви переглядаєте суб єкт.
Формальна мова що, Формальна мова хто, Формальна мова опис

There are excerpts from wikipedia on this article and video

Випадкові Статті

Лозинський Олександр Іванович

Лозинський Олександр Іванович

Лозинський Олександр Іванович — український кінооператор Народ 31 травня 1947 р Закінчив К...
Негативна свобода

Негативна свобода

Негативна свобода характеризується як свобода від втручання інших людей та протиставляється позитивн...
Монтенвіль (Івлін)

Монтенвіль (Івлін)

Монтенві́ль (фр. Montainville) — муніципалітет у Франції, у регіоні Іль-де-Франс, департамент І...
Голубицьке

Голубицьке

Голуби́цьке — село Волноваського району Донецької області України. Голубицьке підпорядковане Зл...