Allow transition tries to be non-prefix-free

srhickma / padd

Fast and Automatic Formatting of Context-Free Languages

Apache License 2.0

2 stars 2 forks source link

Allow transition tries to be non-prefix-free #186

Closed srhickma closed 5 years ago

srhickma commented 5 years ago

There is no theoretical reason why transition tries cannot allow non-prefix-free transitions, and this will make CDFAs much simpler in certain cases. This means transitions like:

start
    'int' -> int;

int ^INT
    'erface' -> ^INTERFACE;

can be rewritten as:

start
    'int' -> ^INT
    'interface' -> ^INTERFACE;