The following pages link to (Q3431476):
Displaying 17 items.
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Characterizations of recognizable picture series (Q1022605) (← links)
- Networks of picture processors as problem solvers (Q1746794) (← links)
- Two-dimensional models (Q2074211) (← links)
- A Kleene theorem for weighted tree automata over distributive multioperator monoids (Q2272217) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Recognizable series on graphs and hypergraphs (Q2424675) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- Picture deformation (Q2480778) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Strategies to scan pictures with automata based on Wang tiles (Q3006164) (← links)
- Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages (Q3014932) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Picture codes (Q3423135) (← links)
- Unambiguous recognizable two-dimensional languages (Q3431439) (← links)
- Tiling Recognizable Two-Dimensional Languages (Q3522860) (← links)
- Recognizable vs. Regular Picture Languages (Q3522862) (← links)
