Parsing in Isbes
| Autor: | Boiten, E.A., Bjørner, D., Broy, M., Pottosin, I.V. |
|---|---|
| Přispěvatelé: | Bjorner, D., Broy, M., Pottosin, I.V. |
| Rok vydání: | 2006 |
| Předmět: | |
| Zdroj: | Formal Methods in Programming and Their Applications ISBN: 354057316X Formal Methods in Programming and Their Applications Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28-JUly 2, 1993), 423-433 STARTPAGE=423;ENDPAGE=433;TITLE=Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28-JUly 2, 1993) |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/bfb0039724 |
| Popis: | It is shown how parsing can be described as a problem in the class isbes, Intersections of Sets and Bags of Extended Substructures, defined in an earlier paper, by viewing parsing as a generalization of pattern matching in several ways. The resulting description is shown to be a good starting point for the transformational derivation of the Cocke-Kasami-Younger tabular parsing algorithm that follows. This derivation is carried out at the level of bag comprehensions. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|