Ссылки по оптимизации машин состояний и генерации кода?

Question

В качестве ответа на мои конечные автоматы в качестве расширения языка C ++ - , мне нужна дополнительная помощь.

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

Может кто-нибудь указать мне хорошие рекомендации по оптимизации конечного автомата и генерации кода? <Ч /> Edit:

Я до сих пор не нашел никаких конкретных ссылок, но это интересный проект, о котором я не знал: http://echarts.org/

Они делают в синтаксисе Java что-то очень похожее на то, что я пытаюсь сделать. Видимо, этот проект возник в AT & T: http://www.research.att.com/software_tools

Answer 1

Есть хорошая глава или две о конечных автоматах в книге Аллена Холлуба «Дизайн компилятора в C», которая также включает в себя множество (я боюсь) кода. Книга о написании инструментов типа компилятор-компилятор, поэтому должна охватывать генерацию, хотя прошло несколько лет с тех пор, как я ее прочитал.

Answer 2

В группу usenet comp.compilers пришло немного информации, которая мне была нужна. Вместо "оптимизации машин состояний" мне нужно было дать в Google "сокращение машин состояний" или "минимизация состояний машин".