Baidu
map

A Proof of Parikh's Theorem via Dickson's Lemma

Koga, T

Koga, T (corresponding author), Midori Ku, D-804 Purimasitei 4-1-1, Yokohama, Kanagawa 260018, Japan.

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2021; 32 (2): 163

Abstract

In this paper, we give a proof of Parikh's semilinear theorem via Dickson's lemma. It is notable that our proof provides a clear separation between pr......

Full Text Link


Baidu
map
Baidu
map
Baidu
map