找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Developments in Language Theory; 6th International Co Masami Ito,Masafumi Toyama Conference proceedings 2003 Springer-Verlag Berlin Heidelb

[復(fù)制鏈接]
樓主: cerebral-cortex
31#
發(fā)表于 2025-3-26 23:35:41 | 只看該作者
Constructing Infinite Words of Intermediate Complexity
32#
發(fā)表于 2025-3-27 03:01:48 | 只看該作者
33#
發(fā)表于 2025-3-27 05:46:30 | 只看該作者
Zur Geschichte des H?lderlinschen NachlassesWe associate a modal operator with each language belonging to a given class of regular languages and use the (reverse) wreath product of monoids with distinguished generators to characterize the expressive power of the resulting logic.
34#
發(fā)表于 2025-3-27 11:14:43 | 只看該作者
35#
發(fā)表于 2025-3-27 16:27:57 | 只看該作者
36#
發(fā)表于 2025-3-27 18:06:26 | 只看該作者
37#
發(fā)表于 2025-3-28 01:50:02 | 只看該作者
H?llen-Inszenierung ?Wrestling“We improve the known bounds on the number of pairwise non-isomorphic minimal deterministic finite automata (DFAs) on . states which accept finite languages. The lower bound constructions are iterative approaches which yield recurrence relations.
38#
發(fā)表于 2025-3-28 02:56:19 | 只看該作者
39#
發(fā)表于 2025-3-28 07:37:47 | 只看該作者
Finite Automata Models of Quantized Systems: Conceptual Status and OutlookSince Edward Moore, finite automata theory has been inspired by physics, in particular by quantum complementarity. We review automaton complementarity, reversible automata and the connections to generalized urn models. Recent developments in quantum information theory may have appropriate formalizations in the automaton context.
40#
發(fā)表于 2025-3-28 12:50:04 | 只看該作者
Automata on Linear OrderingsWe consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce automata and rational expressions for words on linear orderings.
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-29 08:08
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
三原县| 禹州市| 阳原县| 环江| 广安市| 哈尔滨市| 延安市| 靖边县| 威海市| 策勒县| 平和县| 丰台区| 合水县| 张家界市| 巴林左旗| 上思县| 格尔木市| 修武县| 涞源县| 高阳县| 阿拉善右旗| 嘉义市| 镶黄旗| 淮滨县| 宁陵县| 冷水江市| 中山市| 镇赉县| 洪湖市| 册亨县| 大兴区| 水富县| 宜良县| 武邑县| 襄汾县| 崇礼县| 灵川县| 景德镇市| 宝兴县| 廉江市| 英山县|