Search

LALR(1) parser generators in conjunction with imperative programming languages is the standard solution for parsing applications. Contrary to popular belief, this situation is not entirely satisfactory. With imperative tools like Yacc, it is difficult to add actions to a grammar without introducing conflicts. Also, LALR(1) is not powerful enough to meet the needs of languages like C++. We argue that LALR(1) parsing in conjuction with concurrent constraint programming is an interesting option that solves the former problem. We also show how deep guards and don't-know non-determinism can be exploited to solve the latter problem. These ideas have been incorporated in the Saga parser generator described in this report. Saga is an integrated generator for lexical analyzers and parsers. It is based on AKL, a multiparadigm programming language based on a concurrent constraint framework. It is intended both as a research tool to demonstrate the power offered by concurrent constraints, and as a practical tool for the Agents programming system. As a practical tool, Saga features many improvements over tools like Yacc. For example, Saga offers powerful syntax, elegant reporting and resolution of conflicts and powerful error handling in the generated syntax analyzers.

LALR(1) parser generators in conjunction with imperative programming languages is the standard solution for parsing applications. Contrary to popular belief, this situation is not entirely satisfactory. With imperative tools like Yacc, it is difficult to add actions to a grammar without introducing conflicts. Also, LALR(1) is not powerful enough to meet the needs of languages like C++. We argue that LALR(1) parsing in conjuction with concurrent constraint programming is an interesting option that solves the former problem. We also show how deep guards and don't-know non-determinism can be exploited to solve the latter problem. These ideas have been incorporated in the Saga parser generator described in this report. Saga is an integrated generator for lexical analyzers and parsers. It is based on AKL, a multiparadigm programming language based on a concurrent constraint framework. It is intended both as a research tool to demonstrate the power offered by concurrent constraints, and as a practical tool for the Agents programming system. As a practical tool, Saga features many improvements over tools like Yacc. For example, Saga offers powerful syntax, elegant reporting and resolution of conflicts and powerful error handling in the generated syntax analyzers.

Several authors have tried to model attachment preferences for structurally ambiguous sentences that cannot be disambiguated from semantic information. These models lack rigor and have been widely criticized. By starting from a precise choice of parsing model, it is possible to give a simple and rigorous description of Minimal Attachment and Right Association that avoids some of the problems of other models., Technical Note 296. To be published in "Natural Language Processing: Psycholinguistic, Computational, and Theoretical Perspectives" (1983). Sponsored in part by the Defense Advanced Research Projects Agency (DARPA).

Tato práce pojednává o možnostech interpretace typografického jazyka LATEX a popisuje jeho strukturu, funkce a jeho syntaxi. Rovněž rozebírá možnosti interpretace LATEXu do HTML kódu (HyperText Markup Language) tak, aby byly vytvářeny typograficky přesné publikace, které by bylo možno prohlížet běžným internetovým prohlížečem. Následuje návrh řešení a nastíněné problémy., The diploma thesis discusses the potential of interpretation of typographical language LATEX and describes the structure of this language, its functions and their syntax. Also it analyses possibilities of LaTeX interpretation into HTML (HyperText Markup Language), in order to create typographically accurate publications, which could be viewed by common web browser. The solution concept and outlines of possible problems follows.

Tato práce pojednává o možnostech interpretace typografického jazyka LATEX a popisuje jeho strukturu, funkce a jeho syntaxi. Rovněž rozebírá možnosti interpretace LATEXu do HTML kódu (HyperText Markup Language) tak, aby byly vytvářeny typograficky přesné publikace, které by bylo možno prohlížet běžným internetovým prohlížečem. Následuje návrh řešení a nastíněné problémy., The diploma thesis discusses the potential of interpretation of typographical language LATEX and describes the structure of this language, its functions and their syntax. Also it analyses possibilities of LaTeX interpretation into HTML (HyperText Markup Language), in order to create typographically accurate publications, which could be viewed by common web browser. The solution concept and outlines of possible problems follows.

Tato práce pojednává o možnostech interpretace typografického jazyka LATEX a popisuje jeho strukturu, funkce a jeho syntaxi. Rovněž rozebírá možnosti interpretace LATEXu do HTML kódu (HyperText Markup Language) tak, aby byly vytvářeny typograficky přesné publikace, které by bylo možno prohlížet běžným internetovým prohlížečem. Následuje návrh řešení a nastíněné problémy., The diploma thesis discusses the potential of interpretation of typographical language LATEX and describes the structure of this language, its functions and their syntax. Also it analyses possibilities of LaTeX interpretation into HTML (HyperText Markup Language), in order to create typographically accurate publications, which could be viewed by common web browser. The solution concept and outlines of possible problems follows.

Tato práce pojednává o možnostech interpretace typografického jazyka LATEX a popisuje jeho strukturu, funkce a jeho syntaxi. Rovněž rozebírá možnosti interpretace LATEXu do HTML kódu (HyperText Markup Language) tak, aby byly vytvářeny typograficky přesné publikace, které by bylo možno prohlížet běžným internetovým prohlížečem. Následuje návrh řešení a nastíněné problémy., The diploma thesis discusses the potential of interpretation of typographical language LATEX and describes the structure of this language, its functions and their syntax. Also it analyses possibilities of LaTeX interpretation into HTML (HyperText Markup Language), in order to create typographically accurate publications, which could be viewed by common web browser. The solution concept and outlines of possible problems follows.

Tato práce pojednává o možnostech interpretace typografického jazyka LATEX a popisuje jeho strukturu, funkce a jeho syntaxi. Rovněž rozebírá možnosti interpretace LATEXu do HTML kódu (HyperText Markup Language) tak, aby byly vytvářeny typograficky přesné publikace, které by bylo možno prohlížet běžným internetovým prohlížečem. Následuje návrh řešení a nastíněné problémy., The diploma thesis discusses the potential of interpretation of typographical language LATEX and describes the structure of this language, its functions and their syntax. Also it analyses possibilities of LaTeX interpretation into HTML (HyperText Markup Language), in order to create typographically accurate publications, which could be viewed by common web browser. The solution concept and outlines of possible problems follows.

Tato práce pojednává o možnostech interpretace typografického jazyka LATEX a popisuje jeho strukturu, funkce a jeho syntaxi. Rovněž rozebírá možnosti interpretace LATEXu do HTML kódu (HyperText Markup Language) tak, aby byly vytvářeny typograficky přesné publikace, které by bylo možno prohlížet běžným internetovým prohlížečem. Následuje návrh řešení a nastíněné problémy., The diploma thesis discusses the potential of interpretation of typographical language LATEX and describes the structure of this language, its functions and their syntax. Also it analyses possibilities of LaTeX interpretation into HTML (HyperText Markup Language), in order to create typographically accurate publications, which could be viewed by common web browser. The solution concept and outlines of possible problems follows.