Изменения

Перейти к: навигация, поиск

Регулярная аппроксимация КС-языков

1152 байта добавлено, 20:06, 19 января 2014
MT апраксимация
\\ B^* \rightarrow \alpha A^* | \varepsilon
\end{matrix}\right.</tex>
== Источники ==
* [http://www.mpi.nl/world/materials/publications/levelt/Levelt_Formal_Grammars_Vol1_1974.pdf Формальное доказательство экивалентости кс не самоприменимых кс языков и регулярных]
* [https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&ved=0CCkQFjAA&url=http%3A%2F%2Fwww.cs.ucsb.edu%2F~omer%2FDOWNLOADABLE%2Fcfg-reg09.pdf&ei=AQbcUrL_DIfi4wSx3IDYDg&usg=AFQjCNHsSWONr0_c2MDgvApwrhc81deY0w&sig2=_2iZj4Xexe6-p5Cyt-GEMg&bvm=bv.59568121,d.bGE Разобрано много примеров апроксимаций]
 
* [https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&ved=0CCkQFjAA&url=http%3A%2F%2Facl.ldc.upenn.edu%2FJ%2FJ00%2FJ00-1003.pdf&ei=CgfcUrWwA-mF4ATY7IHQAQ&usg=AFQjCNG3QHL7yQSwTUbSi9xkse2j0p6YaA&sig2=UF88aXWRAbapv4o_UrIjGg&bvm=bv.59568121,d.bGE практические эксперименты с регулярной апроксимацией]
 
 
[[Категория: Теория формальных языков]]
[[Категория: Контекстно-свободные грамматики]]
50
правок

Навигация