Conversation
* found questions * add answers * fix * conversation resolve * fix * fix * fix * fix * fix * fix --------- Co-authored-by: Alexey Lisov <lisov.a2005@yandex.ru>
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Ревью не слишком подробные - уж как скорость интернета сейчас позволяет)
data/data.yaml
Outdated
| id: 202 | ||
| questions: | ||
| - 'Теорема о сложности распознавания унарных языков детерминированным 1-сторонним конечным автоматом (1DFA) | ||
| и недетерминированным 2-сторонним конечным автоматом (2NFA). |
There was a problem hiding this comment.
Этот вопрос надо заменить. Т.к. в исходной статье используются совсем другие формализмы (1-ограниченный DFA - это вовсе не DFA в нашем обычном смысле, а регулярная модификация машины Тьюринга).
Но есть хорошая теорема об NP-полноте нахождения минимального НКА для унарного языка. В ней все формализмы понятные, и она полезна для студентов.
There was a problem hiding this comment.
@BaldiSlayer , вы предполагали, что народ и будет так делать)
data/data.yaml
Outdated
| - 'Теорема о приводимости унарных КС-грамматик к 1-ограниченным автоматам (1-Limited Automata, 1-la). | ||
|
|
||
| ' | ||
| - answer: 'Каждая контекстно-свободная грамматика размера s, порождающая унарный язык может быть преобразована |
There was a problem hiding this comment.
Здесь тоже не надо, потому что этот формализм - экзотика. Гораздо полезнее привести теорему о том, что КС-грамматика может быть экспоненциально экономичнее, чем НКА, при распознавании конечных языков.
data/data.yaml
Outdated
| - 'Как связана регулярность языка и его синтаксический моноид? | ||
|
|
||
| ' | ||
| - answer: 'Язык L — регулярный ⇔ его синтаксический моноид M(L) конечен. |
There was a problem hiding this comment.
Обозначения здесь не нужны, а за вопрос 👍 - действительно, нехорошая галлюцинация по уже имеющемуся материалу.
data/data.yaml
Outdated
| G(VN,VT,P,S), V = VT∪VN, в которой: | ||
| 1. Для каждой упорядоченной пары терминальных и нетерминальных символов выполняется не более, чем одно из трех отношений предшествования: | ||
| − Вi =• Вj (∀ Bi, Bj ∈ V), если и только если ∃ правило A→xBiBjy ∈ P, где A∈VN, x,y∈V*; | ||
| − Вi <• Вj (∀ Bi, Bj ∈ V), если и только если ∃ правило A→xBiDy ∈ P и вывод D⇒*Sjz, где A,D∈VN, x,y,z∈V*; |
There was a problem hiding this comment.
Тут отсутствует Bj, зато есть Sj. Опечатка.
| - 'Что такое грамматика простого предшествования? | ||
|
|
||
| ' | ||
| - 'Грамматика простого предшествования. |
There was a problem hiding this comment.
Общее замечание к серии всех этих вопросов. Ну мы же умеем строить множества Follow для терминалов? Вот и распространите то знание, которое было в нашем курсе, на адаптацию лекций Карпушина. Иначе они повисают вне контекстов. А если связать с уже имеющимися знаниями (позиционные автоматы, Follow) будет прекрасный материал для БЗ.
|
Здравствуйте, @TonitaN. Внесла упомянутые вами правки в вопросы. |
5 participants
Источники: