Эмуляторы работы автоматов

Данил

unread,

Jan 9, 2010, 4:22:36 AM1/9/10

to apmath_theory_of_computation

На последней лекции это немного задели, не могли бы скинуть ссылку,
чтобы в живую попробовать.

Vladimir Ivanov

unread,

Jan 11, 2010, 5:04:19 PM1/11/10

to apmath_theory_...@googlegroups.com

Для CFG можно посмотреть на antlr: http://www.antlr.org/

Касаемо λ-исчисления, если хочется поэкспериментировать c различными
evaluation стратегиями, то:
http://thyer.name/lambda-animator/

2010/1/9 Данил <nona...@gmail.com>:

Котельников Евгений

unread,

Jan 12, 2010, 10:09:43 AM1/12/10

to apmath_theory_of_computation

On Jan 12, 1:04 am, Vladimir Ivanov <vladimir.v.iva...@gmail.com>
wrote:

> Для CFG можно посмотреть на antlr:http://www.antlr.org/

А что скажете про lex+yacc? (http://dinosaur.compilertools.net/)

Vladimir Ivanov

unread,

Jan 12, 2010, 1:32:40 PM1/12/10

to apmath_theory_...@googlegroups.com

Ничего особенного не скажу.
lex/yacc - генератор LR парсеров (конкретно, LALR).
antlr - генератор LL парсеров

Когда я упоминал antlr, я имел в виду AntlrWorks
(http://www.antlr.org/works/index.html) - интерактивную среду для
работы с грамматиками. Вопрос же был про эмуляторы.

Вдогонку, визуализатор CST для Java:
http://www.antlr.org/wiki/display/ANTLR3/Tool+showing+grammatical+structure+of+Java+code

Не особо полезен, но наглядно демонстрирует различие между синтаксисом
и семантикой языка.

2010/1/12 Котельников Евгений <php....@gmail.com>:

Reply all

Reply to author

Forward