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

можно стэк списков.

Это сообщение отредактировал(а) DEADHUNT - 18.9.2009, 22:43

TheVoid, так для С++ есть стандартизированная грамматика (то о чем я спрашивал раньше), не надо ничего выдумывать.

DEADHUNT, как это вручную сделать компилятор? не понимаю. какими методами. через LR синтаксис вручную сделать нереально. а семантику можно и вручную.

Killerman, в учебных целях я занят реализацией ANSI C (см. первый пост). Логично, что 
 
сюда не катит.

(Ну если быть откровенным вначале хочу осилить только подмножество Си, поэтому есть смысл грамматику выдумывать самостоятельно).

реально, только вначале на листке надо будет составлять автоматные таблицы, а вообще я не говорил про LL/LR, я говорил про http://en.wikipedia.org/wiki/Recursive_descent_parser, не верится посмотри исходникики g++.

DEADHUNT, не знаю, там токо 2-ве строчки про этот метод:
A recursive descent parser is a top-down parser built from a set of mutually-recursive procedures (or a non-recursive equivalent) where each such procedure usually implements one of the production rules of the grammar. Thus the structure of the resulting program closely mirrors that of the grammar it recognizes.

и все.

LR для С++ вручную не получится, так как там таблица будет дето 3000 X 100. если не больше

Добавлено через 9 минут и 38 секунд
Хотя в принципеесли оптимизировать, может быть и 3000Х20. но это всеравно не для ручной работы

Это сообщение отредактировал(а) Killerman - 19.9.2009, 08:24

зато пример парсера есть.

ты хоть понимаешь что такое управляющая LR(1) таблица? строки состояния, столбцы входные аванцепочки. как ты собрался оптимизировать аванцепочки с 100 до 20?  

DEADHUNT, я понимаю.  имею некоторый опыт. там идет оптимизация терминалов.

TheVoid, все же С++, это не просто цыклы или там списки присвоений.
там гемора хватает. хотябы с шаблонами. а ты делаешь не С++ и даже не С.

написал бы - хочу создать свой функциональный язык. и все

Это сообщение отредактировал(а) Killerman - 19.9.2009, 20:45

терминалы нельзя оптимизировать. например терминалы a-z, A-Z как ты оптимизируешь, A-Z выкинешь? оптимизировать можно путём удаления эквивалентных состояний(у которых одинаковые "ядра" в LALR) и получить столько же состояний сколько в SLR анализаторе.

А что такое a-z, A-Z ? это не терминал никакой.

Добавлено через 32 секунды
вот почитай. полезная статья http://www.arbinada.com/main/node/54

Добавлено через 4 минуты и 13 секунд
кстати по этой ссылке http://en.wikipedia.org/wiki/Recursive_descent_parser написано:

Recursive descent parsers are particularly easy to implement in functional languages such as Haskell, Lisp or ML.

чето не вижу что оно такое же хорошее для сложный языков

A-Z - имелись ввиду как терминальные символы(из них идентификаторы состоят, просто для примера)
S -> aBcd
B -> Sa | e
в этой грамматике нетерминальные символы {S, B}, терминальные {a, c, d}

и вообще в том примере по этой же ссылке грамматика не леворекурсионная. в EBNF форме.
там такие приколы как:

S:= S+M не прокатят

Добавлено через 1 минуту и 50 секунд

ну здесь конечно никак.

это просто контекстно-свободная грамматика, только чтобы показать где терминалы, а где нетерминалы.

Ух, блин, что за дебаты.



Я написал вполне четко: вначале - подмножество Си, затем полный ANSI C.

где-то валялась эта старая книга ANSI C, с не слишким подробным описанием C. лучше C99 к тому же уже разрабатывают C99-1X