Skip to main content
SpringerLink
Log in

A necessary condition on invertibility of finite automata

  • Published:
Science in China Series E: Technological Sciences Aims and scope Submit manuscript

Abstract

This paper gives a necessary condition for a kind of weakly invertible, invertible, weak inverse or inverse finite automata by linearR a R b transformation sequence. For such finite automata the existence of terminatingR a R b transformation sequence is also established.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Tao Jen-chi, Invertible linear finite automata,Scientia Sinica, 1973, 16(4): 565.

    MATH  Google Scholar 

  2. Tao Renji,Invertibility of Finite Automata, Beijing: Science Press, 1979.

    MATH  Google Scholar 

  3. Chen Shihua, On the structure of weak inverses of a weakly invertible linear finite automaton,Chinese J. of Computers, 1981, 4(6): 409.

    Google Scholar 

  4. Chen Shihua, Tao Renji, Invertibility of quasi-linear finite automata, inAdvances in Cryptology-CHINACRYPT'92 (eds. Tao Renji, Li Xiang, Pei Dingyi), Beijing: Science Press, 1992, 77.

    Google Scholar 

  5. Tao Renji, Chen Shihua, Generating a kind of nonlinear finite automata with invertibility by transformation method,Technical Report No. ISCAS-LCS-95-05, Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, June 1995.

    Google Scholar 

  6. Tao Renji, On invertibility of some compound finite automata,Technical Report No. ISCAS-LCS-95-06, Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, June 1995.

    Google Scholar 

  7. Tao Renji, OnR a R b transformation and inversion of compound finite automata,Technical Report No. ISCAS-LCS-95-10, Laboratory for Computer, Science, Institute of Software, Chinese Academy of Sciences, Beijing, Sep. 1995.

    Google Scholar 

  8. Tao Renji, Feng Peirong, On relations betweenR a R b transformation and canonical diagonal form of λ-matrix,Science in China, Ser. E 1997, 40(3): 258.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China

    Renji Tao & Shihua Chen

Authors
  1. Renji Tao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shihua Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Project supported by the National Natural Science Foundation of China.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tao, R., Chen, S. A necessary condition on invertibility of finite automata. Sci. China Ser. E-Technol. Sci. 40, 637–643 (1997). https://doi.org/10.1007/BF02916849

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation