[antlr-interest] Factorization of Logic Expressions

John B. Brodie jbb at acm.org
Thu Mar 18 05:31:04 PDT 2010


On Thu, 2010-03-18 at 07:56 +0000, Nazim Oztahtaci wrote:
> hi,
> 
> I guess my point is misunderstood. for example, my output is smt like
> abc+abd and this is the only information I save on a text file. Later
> on I will read this string, no more information I know about original
> diagram or what I did for DNF transformation. My program reads this
> string and factorize it to ab(c+d). I need to read all minterms, make
> some calculations(either in a matrix or there can be co-graphs
> maybe).I dont think I can use Antlr because I cant define this in a
> grammar, at least on my mind.

Sorry. I misunderstood what you are trying to do. My previous
suggestions are not relevant to your problem. Sorry.

   -jbb




More information about the antlr-interest mailing list