On quotients of formal power series
From MaRDI portal
Publication:2672254
DOI10.1016/j.ic.2022.104874OpenAlexW4210328032MaRDI QIDQ2672254
Qian Wang, Sanjiang Li, Yong-Ming Li
Publication date: 8 June 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.2236
factorizationresidualformal power seriesquotientweighted automatonuniversal automatoncomplete c-semiring
Cites Work
- Model checking quantum Markov chains
- Finite automata theory with membership values in lattices
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Handbook of weighted automata
- Weighted finite automata over strong bimonoids
- Soft constraint abstraction based on semiring homomorphism
- Universal automata and NFA learning
- On transformations of formal power series.
- Weighted automata and weighted logics
- General properties of star height of regular events
- Abstracting soft constraints: framework, properties, examples
- On the Determinization of Weighted Finite Automata
- On the definition of a family of automata
- Minimal NFA Problems are Hard
- Semiring-based constraint satisfaction and optimization
- Quotients of Context-Free Languages
- MINIMALIZATIONS OF NFA USING THE UNIVERSAL AUTOMATON
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On quotients of formal power series