-“IntroductiontoAutomataTheory,Languages,andComputation”,JohnE. Hopcroft,RajeevMotwani,andJeffreyD.Ullman;AddisonWesley;3 rd edition;ISBN:0321462254 -“SchemeProgrammingLanguage”,R.KentDybvig;TheMITPress;3 rd edition;ISBN:0262541483 -“ProgramminginProlog”,W.F.ClocksinandC.S.Mellish;Springer;5 ...
Automata, Languages and Programming 2024 pdf epub mobi 电子书 图书描述 The two-volume set LNCS 5555 and LNCS 5556 constitutes the refereed proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP 2009, held in Rhodes, Greece, in July 2009. The 126 revised fu...
Computation by Abstract DevicesSoftware EngineeringDiscrete Mathematics in Computer ScienceInformation Systems Applications (incl.InternetICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of...
Automata, Languages and Programming. Springer Berlin Heidelberg, 2010. 76- 87.Udi Boker, Orna Kupferman, and Adin Rosenberg. 2010. Alternation removal in Bu¨ chi automata. In Proceed- ings of the 37th International Colloquium on Automata, Languages, and Programming. Lecture Notes in Computer ...
Holzer, M., Kutrib, M., Malcher, A.: Complexity of multi-head finite automata: Origins and directions. Theoret. Comput. Sci. 412, 83–96 (2011) Article MATH MathSciNet Google Scholar Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison...
Early notes on the field of quantum computation were made by R. Feynman as mentioned before, but one of the first research result was obtained by D. Deutch 1985 [2]. The interest on the quantum computation raised however as late as 1994 after P. Shor's surprising 展开 年份: 2007 ...
Automata, Languages and Programming: Proc. 18th ICALP, Vol. 510, Springer, Berlin (1991), pp. 115-136 Lecture Notes in Computer Science CrossrefView in ScopusGoogle Scholar [3] R. Alur, C. Courcoubetis, D. Dill Verifying automata specifications of probabilistic real-time systems Proc. REX...
Introduction to Automata Theory, Languages, and Computation, 3/E This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and stra... JE Hopcroft,R Motwani,JD Ullman - ACM 被引量: 2442发表: 2001年 ...
Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 2380, Springer, Berlin, 2002, pp. 318–329. Google Scholar [57] D. Richardson Tessellation with local transformations J. Comput. System Sci., 6 (1972), pp. 373-388 View in ScopusGoogle Scholar [58] ...
Geffert V.: Nondeterministic computations in sublogarithmic space and space constructibility. SIAM J. Computing, 20 (1991) 484–98. CrossRef Hopcroft J., Ullman J.: Introduction to automata theory, languages, and computation. Addison-Wesley, Reading, MA, 1979. Mereghetti C., Pighizzini G...