Zdrazvitie Pavel,
> Long-term goal is to work towards a general and consistent library of
> formal language constructs, such as automata, grammars and so forth.
> Recent merge of Words seems to be of support.
We are thinking of many new functionalities to add in the Words
library. Some of them are related to automata and languages. For
example, I was thinking to add a class for Language. For example, one
could create a finite language from Words like :
sage: W = Words(['a','b']); W
Words over Ordered Alphabet ['a', 'b']
sage: W('abb')
word: abb
sage: W(['a','b','b'])
word: abb
sage: L = W(['ab', 'bab']); L # This actually doesn't work because it
tries to
# make a word from the given list and both 'ab'
and 'bab' aren't letters of W
Finite Language over Ordered Alphabet ['a', 'b']
sage: L.[tab]
L.is_code
L.is_prefix_code
... etc.
Also, it could be interesting to create a Language from an automata. I
was thinking of something like :
sage: A = Automata(alphabet=some_input,
vertices=some_input,
transition_function=some_input,
initial_states,
final_states=some_input); A
Finite State Automata
sage: A.language()
Language over Alphabet ...
So, these are my related thougths.
Da cvidania!
Sébastien Labbé
Laboratoire de Combinatoire et d'Informatique Mathématique
Université du Québec à Montréal
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
