Учебник по компьютерным наукам, чтобы сделать текст/xml/независимо от разбора

Question

В течение некоторого времени в моем мозгу раскидывается.

У меня было некоторое расследование по поводу компиляторов/Flex/Byson и т. Д., Но я никогда не нашел хорошей справки, в которой подробно рассказывалось о «синтаксическом стеке» или о том, как реализовать его.

Кто-нибудь знает хорошие ссылки, где я мог бы догнать?

Редактировать: Я действительно ценю ссылки на компиляторы, и я собираюсь получить некоторые из перечисленных книг, но основное внимание было уделено самому анализу, а не тому, что вы делаете после него.

Answer 1

Это ответ на ответ Димы, который вы приняли как правильный ответ. Хотя неплохо ответить на вопрос, что синтаксический анализ связан с теорией автоматов, я чувствую, что здесь есть некоторые недоразумения.

• Во-первых, конечный автомат только способны распознавать регулярные языки (например, регулярные выражения). Чтобы распознать контекстно-бесплатные языки, вам нужны pushdown automata, который является более мощным. См. http://en.wikipedia.org/wiki/Automata_theory#Classes_of_automata для получения большего количества автоматов и их связи с различными классами языков.

• Во-вторых, синтаксического анализа отличается от признания. Признание строки указывает только, является ли эта строка на языке, сгенерированном вашей грамматикой. Цель анализатора состоит в том, чтобы создать конкретное дерево синтаксиса, которое является более сложным и обычно более полезным.

Там есть большое разнообразие методов синтаксического анализа там, так что трудно дать вам одну конкретную ссылку, которая расскажет вам, что вам нужно знать ... В общем, вы должны понимать разницу между top-down parsing и bottom-up parsing ,Но вот обзор нескольких распространенных методов, используемых синтаксических анализаторов генераторов в случае, если вы заинтересованы:

• В статьях Википедии для LR Parsing, LL Parsing, SLR Parsing, LALR Parsing, GLR Parsing
• ANTLR-х LL(*) parsing
• Monadic Parsing in Haskell (для парсеров в функциональных языках программирования)
• И тем более экзотические Parsing Expression Grammars

EDIT: Я прошу прощения за то натыкаясь на этот вопрос еще раз, я только что произошло через два превосходных сообщений, описывающих отношения между regular languages and finite automata, context-free languages and push-down automata. Может быть интересно для людей, которые находят этот вопрос.

Answer 2

попробовать amazon

компиляторов только один хороший пример

Answer 3

Dragon book! Я использовал его совсем недавно, чтобы написать компилятор (в PHP!) Для языка обработки файлов шаблонов, написанных в RTF ...

Answer 4

Отметьте «Brinch Hansen on Pascal Compilers» .. он был написан в 1985 году, но я использовал его в прошлом году для курса по компиляторам (по словам Пер Бринча Хансена). Он нашел его очень кратким и полезным для разработки компилятора.

Answer 5

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