Обсуждение:Формальные грамматики — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(ответ2)
Строка 1: Строка 1:
=== ToDo ===
+
: {{tick}} примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить
Определение грамматики: убери отдельную рамочку внутри, она там ни к чему; либо найди определение алфавита, либо убери ссылку; <tex>P</tex> {{---}} это не одно правило; определение <tex>P</tex> неправильное (длина строка в левой части должна быть хотя бы 1). <br />
+
: {{tick}} определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание.  
Определение вывода за один шаг: не надо писать «если», напиши то, что определяешь (выдели '''жирным''' шрифтом, как и в остальных определениях), дальше двоеточие и 3 пункта (у тебя это {первый}, {второй}, {третий, четвёртый, пятый}). <br />
+
: {{tick}} англоязычные термины
Определение вывода за ноль или более шагов: то же самое: выделить '''жирным''' шрифтом то, что определяешь, двоеточие, существуют такие гаммы, что и т.д. <br />
+
: {{tick}} ссылки на английские источники --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:59, 7 декабря 2012 (GST)
В примерах пронумеруй правила. В примере «Правильные скобочные последовательности» напиши алфавит. В примере «Арифметические выражения» 4-е правило напиши нормально (чтобы понять его, надо осознать, что «(» и «)» {{---}} это не символы алфавита, а просто скобки в регэкспе), из последнего правила убери последний ноль и перепроверь (на всякий случай) вообще этот пример. <br />
 
Также надо добавить наши стандартные обозначения (какими буквами мы обозначаем нетерминалы, терминалы, строки и т.п.). <br />
 
Во всём конспекте исправить «-» на «{{---}}», подправить орфографию и пунктуацию. [[Участник:Leugenea|Евгений Лукьянец]]
 
 
 
 
 
* Мне не очень нравится обилие текста в определениях терминалов и нетерминалов. По-моему, он там не нужен совсем.
 
* С обозначениями косяк: греческие буквы бывают из начала и из конца алфавита.
 
* В определениях надо определять русские слова и в скобочках указывать значки, а не наоборот.
 
* Предлагаю правила грамматик оформлять не списками а массивами латеха.
 
* Предлагаю для ПСП в примере выводить строчку поинтереснее, а не двоих сросшихся Кенни.
 
* В определении языка грамматики, по-моему, русский текст лишний, а формулу лучше записать так: <tex>L(\Gamma) = \{\omega \in \Sigma^*|S \Rightarrow^{*}\omega\}</tex>.
 
[[Участник:Kirelagin|Кирилл Елагин]]
 
 
 
В обозначениях греческие буквы из начала и конца алфавита, казалось бы, не различаются
 
[[Участник:filchenko|Николай Фильченко]]
 
: Серьёзно? А ты свою статью-то читал? [[Участник:Kirelagin|Кирилл Елагин]]
 
:: К моменту твоего ответа уже изменилхотя вроде такого не вводили. [[Участник:filchenko|Николай Фильченко]]
 

Версия 21:59, 7 декабря 2012

примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить
определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание.
англоязычные термины
ссылки на английские источники --Дмитрий Герасимов 22:59, 7 декабря 2012 (GST)