Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal languages --- Machine theory --- Langages formels --- Automates mathématiques, Théorie des --- Machine theory. --- Formal languages. --- 681.3 *C2 --- 681.3*D1 --- Computer communication networks: data communications; OSI; security and protection --- Programming techniques--See also {681.3*E} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Programming --- Computer architecture. Operating systems --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Formalization (Linguistics) --- Language and languages --- Operating systems (Computers) --- Computer systems (programming languages grammar) --- Concurrent programming