Wakatsuki Mitsuo | Faculty Of Electro-communications The University Of Electro-communications
スポンサーリンク
概要
関連著者
-
Tomita Etsuji
Faculty Of Electro-communications The University Of Electro-communications
-
Wakatsuki Mitsuo
Faculty of Electro-Communications, The University of Electro-Communications
-
Wakatsuki Mitsuo
Faculty Of Electro-communications The University Of Electro-communications
-
Tomita E
Univ. Electro‐communications Tokyo Jpn
-
Higuchi Ken
Faculty Of Engineering The Fukui University
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報通信工学科
著作論文
- A Fast Algorithm for Checking the Inclusion for Very Simple Deterministic Pushdown Automate
- A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Accept Mode
- Some Properties of Deterministic Restricted One-Counter Automata
- A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Final State
- A Polynomial-Time Algorithm for Checking the lnclusion for Strict Deterministic Restricted One-Counter Automata
- Polynomial Time Identification of Strict Deterministic Restricted One-Counter Automata in Some Class from Positive Data