Skip to main content

Inverse problems for finite automata: A solution based on genetic algorithms

  • Applications
  • Conference paper
  • First Online:
Book cover Artificial Evolution (AE 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1363))

Included in the following conference series:

Abstract

The use of heuristics such as Genetic Algorithm optimisation methods is appealing in a large range of inverse problems. The problem presented here deals with the mathematical analysis of sequences generated by finite automata. There is no known general exact method for solving the associated inverse problem. GA optimisation techniques can provide useful results, even in the very particular area of mathematical analysis. This paper presents the results we have obtained on the inverse problem for fixed point automata. Software implementation has been developed with the help of “ALGON”, our home-made Genetic Algorithm software.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-P. Allouche, T. Johnson (1995): Finite automata and morphisms in assisted musical composition. Journal of New Music Research 24, 97–108.

    Google Scholar 

  2. J. E. Baker (1987): Reducing bias and inefficiency in the selection algorithm. Genetic Algorithms and their application: Proceedings of the Second International Conference on Genetic Algorithms, p. 14–21.

    Google Scholar 

  3. A. Cobham (1972): Uniform tag sequences. Math. Systems Theory 6, 164–192.

    Google Scholar 

  4. S. Eilenberg (1974): Automata, Languages, and Machines. Vol. A, Academic Press.

    Google Scholar 

  5. F. Durand (1997): A characterization of substitutive sequences using return words. Disc. Math., to appear.

    Google Scholar 

  6. B. Leblanc, E. Lutton (1997): ALGON: A Genetic Algorithm software package, http://www-rocq.inria.fr/fractales/

    Google Scholar 

  7. J.-P. Allouche (1996): Transcendence of the Carlitz-Goss Gamma function at rational arguments. J. Number Theory 60, 318–328.

    Google Scholar 

  8. J.-P. Allouche, J. Currie, J. Shallit (1997): Extremal infinite overlap-free binary words. Preprint.

    Google Scholar 

  9. V. Berthé (1994): Automates et valeurs de transcendance du logarithme de Carlitz. Acta Arith. 66, 369–390.

    Google Scholar 

  10. G. Christol (1979): Ensembles presque périodiques k-reconnaissables. Theoret. Comput. Sci. 9, 141–145.

    Google Scholar 

  11. G. Christol, T. Kamae, M. Mendés France, G. Rauzy (1980): Suites algé briques, automates et substitutions. Bull. Soc. Math. France 108, 401–419.

    Google Scholar 

  12. M. Mendès France, J.-y. Yao (1997): Transcendence and the Carlitz-Goss gamma function. J. Number Theory 63, 396–402.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Jin-Kao Hao Evelyne Lutton Edmund Ronald Marc Schoenauer Dominique Snyers

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Leblanc, B., Lutton, E., Allouche, J.P. (1998). Inverse problems for finite automata: A solution based on genetic algorithms. In: Hao, JK., Lutton, E., Ronald, E., Schoenauer, M., Snyers, D. (eds) Artificial Evolution. AE 1997. Lecture Notes in Computer Science, vol 1363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026598

Download citation

  • DOI: https://doi.org/10.1007/BFb0026598

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64169-8

  • Online ISBN: 978-3-540-69698-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics