首页> 外文OA文献 >A Taxonomy of Turing Machines and Mission Execution Automata (MEA) with no Lisp/Prolog Implementation

【2h】

A Taxonomy of Turing Machines and Mission Execution Automata (MEA) with no Lisp/Prolog Implementation

机译：没有执行Lisp / Prolog的图灵机和任务执行自动机（MEA）分类

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

This report describes NPS AUV progress

机译：本报告介绍了NPS AUV的进展

著录项

作者
McGhee R.B.; Brutzman D.P.; Davis D.T.;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. CLOSURE PROPERTY OF SPACE-BOUNDED TWO-DIMENSIONAL ALTERNATING TURING MACHINES, PUSHDOWN AUTOMATA, AND COUNTER AUTOMATA [J] . TOKIO OKAZAKI, KATSUSHI INOUE, AKIRA ITO International Journal of Pattern Recognition and Artificial Intelligence . 2001,第7期

机译：空间绑定二维交替图文机，按下自动机和计数器自动机的关闭特性
2. SPACE HIERARCHIES OF TWO-DIMENSIONAL ALTERNATING TURING MACHINES, PUSHDOWN AUTOMATA AND COUNTER AUTOMATA [J] . TOKIO OKAZAKI, KATSUSHI INOUE, AKIRA ITO International Journal of Pattern Recognition and Artificial Intelligence . 1999,第4期

机译：二维交替图灵机的空间层次，推送自动和计数器自动
3. Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines [J] . Lourdes Araujo Journal of Universal Computer Science . 1997,第5期

机译：借助抽象状态机的分布式Prolog实现的正确性证明
4. A computer with low-level parallelism QA-2: its applications to 3-D graphics and Prolog/Lisp machines [C] . S. Tomita, K. Shibayama, T. Nakata, Annual international symposium on Computer architecture;International symposium on Computer architecture . 1986

机译：具有低级并行度QA-2的计算机：其在3-D图形和Prolog / Lisp机器中的应用
5. How Chemistry Computes: Language Recognition by Non-Biochemical Chemical Automata. From Finite Automata to Turing Machines [O] . Marta Dueñas-Díez, Juan Pérez-Mercader 2019

机译：化学如何计算：非生化化学自动机的语言识别。从有限的自动机到图灵机
6. A Universal Multiphase Mission Execution Automaton (MEA) with Prolog Implementation for Unmanned Untethered Vehicles", Proceedings of 17th International Symposium on Unmanned Untethered Submersible Technology, Portsmouth, NH, August 2011. [O] . McGhee R. B., Brutzman D. P., Davis D. T. 2011

机译：带有Prolog的无人系留飞行器通用多相任务执行自动机（MEA），第17届国际无人系留潜水技术国际研讨会论文集，新罕布什尔州朴次茅斯，2011年8月。

A Taxonomy of Turing Machines and Mission Execution Automata (MEA) with no Lisp/Prolog Implementation

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅