On the Hurwitz Product of Formal Power Series and Automata.

Gerhard Küster

Published in: Theor. Comput. Sci. (1991)

Keyphrases

power consumption
finite automata
formal model
databases
power distribution
life cycle
data sets
formal specification
finite state
computational power
probabilistic automata
formal models
formal methods
finite state machines
knowledge representation
case study
website
machine learning