Titlebook: Developments in Language Theory; 21st International C émilie Charlier,Julien Leroy,Michel Rigo Conference proceedings 2017 Springer Interna

commotion

書目名稱Developments in Language Theory影響因子(影響力)




書目名稱Developments in Language Theory影響因子(影響力)學(xué)科排名




書目名稱Developments in Language Theory網(wǎng)絡(luò)公開度




書目名稱Developments in Language Theory網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Developments in Language Theory被引頻次




書目名稱Developments in Language Theory被引頻次學(xué)科排名




書目名稱Developments in Language Theory年度引用




書目名稱Developments in Language Theory年度引用學(xué)科排名




書目名稱Developments in Language Theory讀者反饋




書目名稱Developments in Language Theory讀者反饋學(xué)科排名

Heart-Rate

Undecidability and Finite AutomataUsing a novel rewriting problem, we show that several natural decision problems about finite automata are undecidable (i.e., recursively unsolvable). In contrast, we also prove three related problems are decidable. We apply one result to prove the undecidability of a related problem about .-automatic sets of rational numbers.

ACTIN

émilie Charlier,Julien Leroy,Michel RigoIncludes supplementary material:

過分

確保

Supplement

978-3-319-62808-0Springer International Publishing AG 2017

Supplement

Kontext und Wirkung von Suggestionene classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illu

ectropion

祖?zhèn)髫?cái)產(chǎn)

Indirekte Induktion und Kommunikationntations of integers. We discuss many results expressing the number of binomial coefficients . with a given .-adic valuation in terms of the number of occurrences of a given word in the base-. representation of ., beginning with a result of Glaisher from 1899, up through recent results by Spiegelhof

縮影