Article ID Journal Published Year Pages File Type
438267 Theoretical Computer Science 2014 8 Pages PDF
Abstract

We show that for a semiring KK, the supports of all recognizable series over KK are recognizable if and only if in every finitely generated subsemiring of KK there exists a finite congruence such that 0K0K is a singleton congruence class.

Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
An algebraic characterization of semirings for which the support of every recognizable series is recognizable
Authors
,