A Study on the Problem of Channel Resolvability for Channels with Countable Input Alphabet

Author(s):  
Shigeaki Kuzuoka
Keyword(s):  
2019 ◽  
Vol 37 (1) ◽  
pp. 48-60 ◽  
Author(s):  
Rakshith Rajashekar ◽  
Marco Di Renzo ◽  
Lie-Liang Yang ◽  
K.V.S. Hari ◽  
Lajos Hanzo

2007 ◽  
Vol 18 (04) ◽  
pp. 699-713 ◽  
Author(s):  
PAROSH AZIZ ABDULLA ◽  
JOHANNA HÖGBERG ◽  
LISA KAATI

We extend an algorithm by Paige and Tarjan that solves the coarsest stable refinement problem to the domain of trees. The algorithm is used to minimize nondeterministic tree automata (NTA) with respect to bisimulation. We show that our algorithm has an overall complexity of [Formula: see text], where [Formula: see text] is the maximum rank of any symbol in the input alphabet, m is the total size of the transition table, and n is the number of states.


2011 ◽  
Vol 44 (1) ◽  
pp. 7975-7980 ◽  
Author(s):  
Ricardo P. Aguilera ◽  
Daniel E. Quevedo
Keyword(s):  

2007 ◽  
Vol 18 (06) ◽  
pp. 1343-1352 ◽  
Author(s):  
FRANTIŠEK MRÁZ ◽  
MARTIN PLÁTEK ◽  
TOMASZ JURDZIŃSKI

Restarting automata can be considered as a machine model as well as regulated rewriting systems. We introduce a measure of ambiguity for restarting automata which recognizes a language as a projection of its characteristic language (containing also auxiliary—non-input—symbols) into its input alphabet. Based on this measure we define an ambiguity measure of languages. This measure can be considered as a measure of non-determinism of languages. We show that there is an infinite hierarchy with respect to the degree of ambiguity even inside linear languages and that there are linear languages with a linear ambiguity.


2008 ◽  
Vol 19 (03) ◽  
pp. 617-631 ◽  
Author(s):  
JOZEF JIRÁSEK ◽  
GALINA JIRÁSKOVÁ ◽  
ALEXANDER SZABARI

We show that for all integers n and α such that n ⩽ α ⩽ 2n, there exists a minimal nondeterministic finite automaton of n states with a four-letter input alphabet whose equivalent minimal deterministic finite automaton has exactly α states. It follows that in the case of a four-letter alphabet, there are no "magic numbers", i.e., the holes in the hierarchy. This improves a similar result obtained by Geffert for a growing alphabet of size n + 2.


Cybernetics ◽  
1981 ◽  
Vol 16 (6) ◽  
pp. 817-826
Author(s):  
R. N. Trofimchuk

Entropy ◽  
2019 ◽  
Vol 21 (9) ◽  
pp. 903
Author(s):  
Guangjian Huang ◽  
Shahbaz Hassan Wasti ◽  
Lina Wei ◽  
Yuncheng Jiang

In most previous research, “semantic computing” refers to computational implementations of semantic reasoning. It lacks support from the formal theory of computation. To provide solid foundations for semantic computing, researchers propose a different understanding of semantic computing based on finite automata. This approach provides a computer theoretical approach to semantic computing. But finite automata are not capable enough to deal with imprecise knowledge. Therefore, in this paper, we provide foundations for semantic computing based on probabilistic automata. Even though traditional probabilistic automata can handle imprecise knowledge, their limitation resides in their being defined on a fixed finite input alphabet. This deeply restricts the abilities of automata. In this paper, we rebuild traditional probabilistic automata for semantic computing. Furthermore, our new probabilistic automata are robust enough to handle any alphabet as input. They have better performances in many applications. We provide an application for weather forecasting, a domain for which traditional probabilistic automata are not effective due to their finite input alphabet. Our new probabilistic automata can overcome these limitations.


Sign in / Sign up

Export Citation Format

Share Document