[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