找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Finite Automata, Formal Logic, and Circuit Complexity; Howard Straubing Book 1994 Springer Science+Business Media New York 1994 algorithms

[復(fù)制鏈接]
查看: 29178|回復(fù): 35
樓主
發(fā)表于 2025-3-21 19:23:27 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Finite Automata, Formal Logic, and Circuit Complexity
編輯Howard Straubing
視頻videohttp://file.papertrans.cn/344/343518/343518.mp4
叢書名稱Progress in Theoretical Computer Science
圖書封面Titlebook: Finite Automata, Formal Logic, and Circuit Complexity;  Howard Straubing Book 1994 Springer Science+Business Media New York 1994 algorithms
描述The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first- order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the log- ical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960‘s with the work of J. Richard Biichi on monadic second-order logic. Biichi‘s investigations were extended in several directions. One of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization of automata that admit first-order behavioral descriptions, in terms of the semigroup- theoretic approach to automata that had recently been developed in the work of Krohn and Rhodes and of Schiitzenberger. In the more than twenty years that have passed since the appearance of McNaughton and Papert‘s book, the underlying semigroup theory has grown enor- mously, permitting a considerable extension of the
出版日期Book 1994
關(guān)鍵詞algorithms; automata; complexity; computer; computer science; formal language; formal languages; formal log
版次1
doihttps://doi.org/10.1007/978-1-4612-0289-9
isbn_softcover978-1-4612-6695-2
isbn_ebook978-1-4612-0289-9
copyrightSpringer Science+Business Media New York 1994
The information of publication is updating

書目名稱Finite Automata, Formal Logic, and Circuit Complexity影響因子(影響力)




書目名稱Finite Automata, Formal Logic, and Circuit Complexity影響因子(影響力)學(xué)科排名




書目名稱Finite Automata, Formal Logic, and Circuit Complexity網(wǎng)絡(luò)公開度




書目名稱Finite Automata, Formal Logic, and Circuit Complexity網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Finite Automata, Formal Logic, and Circuit Complexity被引頻次




書目名稱Finite Automata, Formal Logic, and Circuit Complexity被引頻次學(xué)科排名




書目名稱Finite Automata, Formal Logic, and Circuit Complexity年度引用




書目名稱Finite Automata, Formal Logic, and Circuit Complexity年度引用學(xué)科排名




書目名稱Finite Automata, Formal Logic, and Circuit Complexity讀者反饋




書目名稱Finite Automata, Formal Logic, and Circuit Complexity讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-22 00:17:40 | 只看該作者
第143518主題貼--第2樓 (沙發(fā))
板凳
發(fā)表于 2025-3-22 02:47:38 | 只看該作者
板凳
地板
發(fā)表于 2025-3-22 06:03:14 | 只看該作者
第4樓
5#
發(fā)表于 2025-3-22 10:27:57 | 只看該作者
5樓
6#
發(fā)表于 2025-3-22 14:19:00 | 只看該作者
6樓
7#
發(fā)表于 2025-3-22 20:19:50 | 只看該作者
7樓
8#
發(fā)表于 2025-3-22 21:57:19 | 只看該作者
8樓
9#
發(fā)表于 2025-3-23 01:35:19 | 只看該作者
9樓
10#
發(fā)表于 2025-3-23 05:45:06 | 只看該作者
10樓
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-16 22:51
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
米泉市| 涿州市| 高邮市| 犍为县| 文昌市| 大港区| 沈阳市| 商河县| 五河县| 长寿区| 砚山县| 昌平区| 奎屯市| 双江| 花莲县| 怀来县| 岐山县| 曲水县| 松潘县| 涡阳县| 富蕴县| 桑植县| 白银市| 平利县| 鸡西市| 天峨县| 徐水县| 浙江省| 南乐县| 都兰县| 即墨市| 三穗县| 盘山县| 通山县| 定日县| 油尖旺区| 洞头县| 玉林市| 朝阳县| 辰溪县| 永清县|