2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Методы составления формальных грамматик
Сообщение31.03.2009, 12:12 
Аватара пользователя
Приветствую!
Формальная грамматика - T - набор терминальных символов, N - набор нетерминальных символов, S - стартовый (или целевой, или якорный, ...) символ, R - набор правил.
Формальный язык - множество фраз (цепочек из терминальных символов).

Какие существуют методы составления формальных грамматик для некоторого формального языка?

В теории трансляторов на эту тему есть что-нибудь?

 
 
 
 
Сообщение01.04.2009, 07:12 
Аватара пользователя
А как именно задан формальный язык?

 
 
 
 
Сообщение01.04.2009, 22:48 
Аватара пользователя
Абстракно-математически - работает программа, генерирующая цепочки символов.
Идея состояит в и том, чтобы найти грамматику, генерирующую эти цепочки и никакие другие, чтобы значительно усовершенстоввать программу и сам алгоритм.

НЕУЖЕЛИ НЕТ ИССЛЕДОВАНИЙ НА ЭТУ ТЕМУ?.

А вот в ВУЗах-УНИВЕРАХ все составляли нормальные алгоритмы Маркова и что нет методов составления сложных алгоритмов.

Сама программа - это типа грамматики, генерирующая по входной цепочке символов (тех же 0 и 1) выходную цепочку. И что - методов нет? Всех учат методам проектирования автоматов - это
да. Мощно. Почти заводы-автоматы можно строить. Также учат проектировать ЭВМ из логических вентилей собирать.И что - грамматики составлять не учат?

 
 
 
 
Сообщение02.04.2009, 05:28 
Аватара пользователя
Мастак в сообщении #201029 писал(а):
Абстракно-математически - работает программа, генерирующая цепочки символов.
Идея состояит в и том, чтобы найти грамматику, генерирующую эти цепочки и никакие другие, чтобы значительно усовершенстоввать программу и сам алгоритм.

В такой постановке задача неразрешима. Дело в том, что за конечное время (время нахождения грамматики) к заданной функции удастся обратиться лишь конечное число раз, а значит узнать лишь конечное число порожденных ей строк ("цепочек символов"). Но по конечному множеству строк нет никакой возможности однозначно определить, что это за язык (так как существует бесконечно много языков, в том числе и контекстно-свободных, содержащих известное множество строк в качестве подмножества), а значит и невозможно построить грамматику для этого языка.

 
 
 
 
Сообщение18.04.2009, 17:38 
Тут есть ньюанс. Можно определить стохастический язык и его грамматику из случайной выборки. Google: indentification of stochastic languages

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group