{"id":"arxiv/2609.06735","url":"https://arxiv.org/abs/2609.06735","tags":["math.PR"],"score":0,"title":"Identifiability of finite-state $ε$-machines from finite summaries","domain":"math.PR","source":"arxiv","authors":["Paweł Wieczyński"],"reviews":0,"subject":"math.PR","summary":"We study how much observable finite-dimensional information is sufficient to identify a finite-state generator $ε$-machine. The observable summaries are labeled tables of conditional probabilities given finite histories and contiguous block laws. For stationary ergodic finite-alphabet processes, we first prove that a table with past horizon $L$ and future horizon $R$ is equivalent to the block law of length $L+R$. We then recall the classical linear-realization bound. Two hidden Markov presentations with $r$ and $s$ states agree on the entire process law if they agree on words through length…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}