Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Within the params.txt file below commented sections with # symbol (do not change the comments) add:

Actions in given format:

{variable} := {variable} {operation} {variable}
...

Alphabet in given format (one symbol for each action):

{symbol}
...

Word that is going to be analyzed in given format:

{word consisting only symbols of the alphabet defined above}

Variables if you wish to change the standard recognized symbols (python x.isalpha) in given format:

{variable name}
...

About

Implementation of a dependency solver for given alphabets of actions that creates Foata's Normal Form and Diekert's graph

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages