Une remarque sur les systèmes complets d'identités rationnelles
暂无分享,去创建一个
Une regle deductive tres simple permet de relier des problemes de completude souleves par Conway et Salomaa
[1] J. Conway. Regular algebra and finite machines , 1971 .
[2] Arto Salomaa,et al. Two Complete Axiom Systems for the Algebra of Regular Events , 1966, JACM.
[3] Daniel Krob. Expressions k-rationnelles , 1988 .