富田悦次
- 榎本 肇,富田悦次:“代表記号例集合による決定性有限オートマトンの適応的修正法,”
電子通学会論文誌,Vol.60-D,No.10, pp.777-784 (1977).
-
E. Tomita:
“A direct branching algorithm for checking equivalence of some classes of deterministic pushdown automata,”
Information and Control, Vol.52, No.2, pp.187-238 (1982).
-
E. Tomita and T. Seki: “An efficient branch-and-bound algorithm for finding a maximum clique,”
Lecture Notes in Computer Science, Vol.2731, Springer-Verlag, pp.278-289 (2003).
|