5 citations found. Retrieving documents...
Cho#rut, Christian. 1977. Une caract#erisation des fonctions s#equentielles et des fonctions sous-s#equentielles en tant que relations rationnelles. Theoretical Computer Science, 5:325#338.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Determinization of Finite State Weighted Tree Automata - Borchardt, Vogler (2002)   (Correct)

....of output symbols, and : B hh is the transition function, where B hh ii is the set of all formal power series S : B . The semantics of an sst is a partial function M : ii. The power set construction also applies to string to string transducers, which was proven by [Cho77]. Here the problem of handling the output occurs, which is solved by considering longest common pre xes. We note that the determinization of sst is partial. A third way of generalizing fsa is to enrich the automaton by weights, which leads us to the concept of nite state weighted automata (for ....

....the present paper we go back to the theory of automata and consider nite state weighted tree automata (for short w fta) Such automata can be seen as a generalization of fta and fwa. As automaton (fsa) Eil74] nite state tree automaton (fta) Don65, TW65] string to string transducer (sst) [Cho77] nite state weighted automaton (fwa) Moh97, BGW00] nite state weighted tree automaton (w fta) present paper] Figure 1: Determinization of nite state automata and of generalizations. for fta we have to distinguish between bottom up nite state weighted tree automata (bu w fta, cf. ....

C. Cho rut. Une caracterisation des fonctions sequentielles et des fonctions soussequentielles en tant que relations rationnelles. Theoret. Comput. Science, 5:325-337, 1977.


Mitsubishi Electric Research Laboratories - Cambridge Research Center (1994)   (Correct)

No context found.

Cho#rut, Christian. 1977. Une caract#erisation des fonctions s#equentielles et des fonctions sous-s#equentielles en tant que relations rationnelles. Theoretical Computer Science, 5:325#338.


Mitsubishi Electric Research Laboratories - Http Www Merl   (Correct)

No context found.

Cho#rut, Christian. 1977. Une caract#erisation des fonctions s#equentielles et des fonctions sous-s#equentielles en tant que relations rationnelles. Theoretical Computer Science, 5:325#338.


An Optimal Pre-Determinization Algorithm for Weighted.. - Allauzen, Mohri (2004)   (Correct)

No context found.

Christian Cho#rut. Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles. Theoretical Computer Science, 5:325--338, 1977.


An Optimal Pre-Determinization Algorithm for Weighted.. - Allauzen, Mohri (2004)   (Correct)

No context found.

Christian Cho#rut. Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles. Theoretical Computer Science, 5:325--338, 1977.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC