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) List: http://www.antlr.org/mailman/listinfo/antlr-interest Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "il-antlr-interest" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/il-antlr-interest?hl=en -~----------~----~----~----~------~----~------~--~---
