Advertisement

Computing by Only Observing

  • Matteo Cavaliere
  • Pierluigi Frisco
  • Hendrik Jan Hoogeboom
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4036)

Abstract

The paradigm of evolution/observation is based on the idea that a computing device can be obtained by combining a basic system and an observer that transforms the evolution of the basic system into a readable output. In this framework we investigate what can be computed by changing the observer but not the basic observed system. We consider grammars as basic systems combined with finite state automata as observers, watching either the sequence of sentential forms or the productions used by the grammar. It is possible to obtain computational completeness only varying the observer, without modifying the basic system, which is a fixed context-free grammar.

Keywords

Regular Language State Automaton Sentential Form Formal Language Theory Output Alphabet 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alhazov, A., Cavaliere, M.: Computing by observing bio-systems: The case of sticker systems. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol. 3384, pp. 1–13. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Cavaliere, M., Jonoska, N., Leupold, P.: Recognizing DNA splicing. In: Carbone, A., Pierce, N.A. (eds.) DNA 2005. LNCS, vol. 3892, pp. 12–26. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Cavaliere, M., Leupold, P.: Observation of string-rewriting systems. Fundamenta Informaticae (to appear)Google Scholar
  4. 4.
    Cavaliere, M., Leupold, P.: Evolution and observation - A new way to look at membrane systems. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 70–87. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Cavaliere, M., Leupold, P.: Evolution and observation - A non-standard way to accept formal languages. In: Margenstern, M. (ed.) MCU 2004. LNCS, vol. 3354, pp. 153–163. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Cavaliere, M., Leupold, P.: Evolution and observer: A non-standard way to generate formal languages. Theoretical Computer Science 321, 233–248 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Dassow, J., Păun, G.: Regulated rewriting in formal language theory. EATCS monographs in Theoretical computer science, vol. 18. Springer, Heidelberg (1989)Google Scholar
  8. 8.
    Fleck, A.C.: An analysis of Grammars by their derivation sets. Information and Control 24, 389–398 (1974)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Ginsburg, S.: Algebraic and automata-theoretic properties of formal languages, Foundamental studies in computer science, vol. 2. North-Holland, Amsterdam (1975)Google Scholar
  10. 10.
    Greibach, S.A.: A Note on Pushdown Store Automata and Regular Systems. Proceedings of the American Mathematical Society 18, 263–268 (1967)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Greibach, S.A.: Remarks on Blind and Partially Blind One-Way Multicounter Machines. Theoretical Computer Science 7, 311–324 (1978)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Leupold, P.: Non-universal G/O systems (submitted)Google Scholar
  13. 13.
    Mäkinen, E.: On contect-free derivations. PhD thesis, Acta Universitatis Tamperensis (1985)Google Scholar
  14. 14.
    Minsky, M.L.: Computation: Finite and Infinite Machines. In: Automatic computation. Prentice-Hall, Englewood Cliffs (1967)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Matteo Cavaliere
    • 1
  • Pierluigi Frisco
    • 2
  • Hendrik Jan Hoogeboom
    • 3
  1. 1.Centre for Computational and Systems BiologyMicrosoft Research – University of TrentoTrentoItaly
  2. 2.School of Mathematical and Computer SciencesHeriot-Watt UniversityEdinburghU.K.
  3. 3.Leiden Institute for Advanced Computer ScienceUniversiteit LeidenLeidenThe Netherlands

Personalised recommendations