Results 21 to 30 of about 383 (145)
تحليل قواعد التعبير (PEGs) هي شكلية تستخدم لوصف التحليل من أعلى إلى أسفل مع التراجع. نظرًا لأن PEGs لا توفر آلية جيدة لاسترداد الأخطاء، فإن المحللين المعتمدين على PEG لا يتعافون عادةً من أخطاء بناء الجملة في الإدخال، أو يتعافون من أخطاء بناء الجملة باستخدام ميزات مخصصة خاصة بالتنفيذ.
Sérgio Queiróz de Medeiros +1 more
openalex +4 more sources
parboiled2: a macro-based approach for effective generators of parsing expressions grammars in Scala [PDF]
In today's computerized world, parsing is ubiquitous. Developers parse logs, queries to databases and websites, programming and natural languages. When Java ecosystem maturity, concise syntax, and runtime speed matters, developers choose parboiled2 that generates grammars for parsing expression grammars (PEG).
Alexander A. Myltsev
openalex +3 more sources
Recognising and Generating Terms using Derivatives of Parsing Expression Grammars [PDF]
Grammar-based sentence generation has been thoroughly explored for Context-Free Grammars (CFGs), but remains unsolved for recognition-based approaches such as Parsing Expression Grammars (PEGs). Lacking tool support, language designers using PEGs have difficulty predicting the behaviour of their parsers. In this paper, we extend the idea of derivatives,
Tony Garnock-Jones +2 more
openalex +3 more sources
Parsing Expression Grammars with Unordered Choices
Nariyoshi Chida, Kimio Kuramitsu
openalex +3 more sources
A Declarative Extension of Parsing Expression Grammars for Recognizing Most Programming Languages
To appear in Journal of Information Processing, 24(2 ...
Tetsuro Matsumura, Kimio Kuramitsu
openalex +4 more sources
Cigale: A tool for interactive grammar construction and expression parsing
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frédéric Voisin
openalex +3 more sources
CONVERSÃO DE REGEXES PARA PARSING EXPRESSION GRAMMARS [PDF]
MARCELO OIKAWA
openalex +2 more sources
Implementation of Tamias to Check Production Rules for Parsing Expression Grammar
Tetsuro Katayama +5 more
openalex +2 more sources
TRX: A Formally Verified Parser Interpreter [PDF]
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski, Henri Binsztok
doaj +1 more source
Local Search and the Evolution of World Models
Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source

