[antlr-interest] Representing EBNF grammar in a formal logic notation - regd.

Ashok Varikuti asoka250 at gmail.com
Wed Mar 4 00:13:53 PST 2009


Hi List,
I am having an antlr tree grammar which is a set of rules and java 
actions that go along with it. I need to represent the whole process of 
matching the symbols and the actions that take place after the match in 
a formal logic notation. Description for logic notation can be found 
here :-  
http://www.maartensz.org/philosophy/Dictionary/L/Logic%20Notation.htm. 
Can anyone give me hints on how to start this. Representing grammar in 
EBNF is easier but expressing it in terms of logic notation makes it 
difficult. Thank you.

-- 
Regards,
Ashok R Varikuti
CIS Dept, Kansas State University
785-304-2401.
(http://www.linkedin.com/in/ashokvarikuti)



More information about the antlr-interest mailing list