國立虎尾科技大學 |

Descriptional complexity of formal systems = 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Descriptional complexity of formal systems/ edited by Andreas Malcher, Luca Prigioniero.
其他題名:	26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings /
其他題名:	DCFS 2025
其他作者:	Prigioniero, Luca.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xxx, 225 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Artificial Intelligence. -
電子資源:	https://doi.org/10.1007/978-3-031-97100-6
ISBN:	9783031971006

Descriptional complexity of formal systems = 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings /
Descriptional complexity of formal systems26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings /[electronic resource] :DCFS 2025edited by Andreas Malcher, Luca Prigioniero. - Cham :Springer Nature Switzerland :2025. - xxx, 225 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,157591611-3349 ;. - Lecture notes in computer science ;6140..

Fibonacci Pictures on a Binary Alphabet. -- A Close Analysis of the Subset Construction. -- k-local Graphs. -- Word-Representable Graphs and Locality of Words. -- Automata for Synchronised Shuffle on Backbones. -- Two-Word Shuffle: Some Results. -- Matrix Forbidding Grammars. -- On the Decidability and Expressive Power of Several Theories Based on String Constraints. -- Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals are Computationally Complete. -- Disjunctive Complexity. -- Two-Way Finite Automata with Translucent Input Letters. -- Relative Densities of Formal Languages. -- On A Measure for The Descriptional Complexity of Finite Automata with Translucent Words. -- What is the Most Natural Generalization of the Pumping Lemmas for Regular and Context-Free Languages?. -- Small Balanced Vertex Separators in NFA to Regular Expression Conversion.

This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22-24, 2025. This book includes 15 full papers, carefully reviewed and selected from 20 submissions, as well as 4 abstracts of the invited talks. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.

ISBN: 9783031971006

Standard No.: 10.1007/978-3-031-97100-6doiSubjects--Topical Terms:

646849
Artificial Intelligence.

LC Class. No.: QA267.3 / .D34 2025

Dewey Class. No.: 005.131

Descriptional complexity of formal systems = 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings /
LDR:02666nam a2200361 a 4500 001 1159451
003 DE-He213
005 20250701130223.0
006 m d
007 cr nn 008maaau
008 251029s2025 sz s 0 eng d
020 $a 9783031971006 $q (electronic bk.)
020 $a 9783031970993 $q (paper)
024 7 $a 10.1007/978-3-031-97100-6 $2 doi
035 $a 978-3-031-97100-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA267.3 $b .D34 2025
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
090 $a QA267.3 $b .D277 2025
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Descriptional complexity of formal systems $h [electronic resource] : $b 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings / $c edited by Andreas Malcher, Luca Prigioniero.
246 3 $a DCFS 2025
260 $a Cham : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xxx, 225 p. : $b ill. (some col.), digital ; $c 24 cm.
338 $a online resource $b cr $2 rdacarrier
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15759
505 0 $a Fibonacci Pictures on a Binary Alphabet. -- A Close Analysis of the Subset Construction. -- k-local Graphs. -- Word-Representable Graphs and Locality of Words. -- Automata for Synchronised Shuffle on Backbones. -- Two-Word Shuffle: Some Results. -- Matrix Forbidding Grammars. -- On the Decidability and Expressive Power of Several Theories Based on String Constraints. -- Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals are Computationally Complete. -- Disjunctive Complexity. -- Two-Way Finite Automata with Translucent Input Letters. -- Relative Densities of Formal Languages. -- On A Measure for The Descriptional Complexity of Finite Automata with Translucent Words. -- What is the Most Natural Generalization of the Pumping Lemmas for Regular and Context-Free Languages?. -- Small Balanced Vertex Separators in NFA to Regular Expression Conversion.
520 $a This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22-24, 2025. This book includes 15 full papers, carefully reviewed and selected from 20 submissions, as well as 4 abstracts of the invited talks. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 0 $a Formal methods (Computer science) $3 564790
650 0 $a Machine theory $v Congresses. $3 674586 $3 727857
650 0 $a Formal languages $v Congresses. $3 675203 $3 727858
700 1 $a Prigioniero, Luca. $3 1486724
700 1 $a Malcher, Andreas. $3 1078522
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-97100-6
950 $a Computer Science (SpringerNature-11645)