Kosaburo Hashiguchi (橋口 攻三郎, Hashiguchi Kōsaburō) is a Japanese mathematician and computer scientist at the Toyohashi University of Technology and Okayama University, known for his research in formal language theory.

In 1988, he found the first algorithm to determine the star height of a regular language, a problem that had been open since 1963 when Lawrence Eggan solved the related star height problem, showing that there is no finite bound on the star height. Hashiguchi's algorithm for star height is extremely complex, and impractical on all but the smallest examples.[1][2][H88] A simpler method, showing also that the problem is PSPACE-complete, was provided in 2005 by Kirsten.[1][3]

Earlier, in 1979, Hashiguchi had also solved another open problem on regular languages, of deciding whether, for a given language , there exists a finite number such that .[4][H79]

Hashiguchi is the uncle of Japanese-born American pianist Grace Nikae.

Selected publications

References

  1. 1 2 Lombardy, Sylvain; Sakarovitch, Jacques (2008). "The universal automaton". In Flum, Jörg; Grädel, Erich; Wilke, Thomas (eds.). Logic and Automata: History and Perspectives. Texts Log. Games. Vol. 2. Amsterdam: Amsterdam Univ. Press. pp. 457–504. MR 2508751. See in particular p. 488.
  2. Pin, Jean-Éric (2017). "Open problems about regular languages, 35 years later". In Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério; Shallit, Jeffrey (eds.). The Role Of Theory In Computer Science: Essays Dedicated To Janusz Brzozowski. World Scientific. ISBN 9789813148215. See in particular p. 164.
  3. Kirsten, Daniel (2005). "Distance desert automata and the star height problem". RAIRO Theoretical Informatics and Applications. 39 (3): 455–509. doi:10.1051/ita:2005027. MR 2157045.
  4. Brzozowski, Janusz (2014). "Open problems about regular languages". In Book, Ronald V. (ed.). Formal Language Theory: Perspectives and Open Problems. Academic Press. pp. 23–38. ISBN 9781483267500. See in particular p. 45.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.