Results 1 to 10 of about 4,904 (291)
ioco theory for probabilistic automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Model-based testing (MBT) is a well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test MBT frameworks have been developed to test systems with real-time ...
Marcus Gerhold, Mariëlle Stoelinga
doaj +8 more sources
Cryptography using Automata Theory [PDF]
ITM Web of Conferences, 2022 Encryption and decryption are the two most crucial components of cryptography. Data protection is the main objective of both systems. We utilised encryption to transform plain text into ciphertext.
Vayadande Kuldeep +4 more
doaj +2 more sources
Automata theory in nominal sets [PDF]
Logical Methods in Computer Science, 2014 We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensuing automata theory, where the key role is played by an automorphism group ...
Mikołaj Bojańczyk +2 more
doaj +4 more sources
Automata theory on sliding windows [PDF]
, 2017 In a recent paper we analyzed the space complexity of streaming algorithms whose goal is to decide membership of a sliding window to a fixed language. For the class of regular languages we proved a space trichotomy theorem: for every regular language the optimal space bound is either constant, logarithmic or linear.
Moses Ganardi +4 more
openalex +6 more sources
Migrating teaching of automata theory to a digital platform
South African Computer JournalThis research explores the challenges of teaching automata theory in computer science and proposes a digital solution to enhance learning experiences. Traditionally taught through pen and paper, automata theory often appears daunting to students due to ...
Steven Jordaan +2 more
doaj +2 more sources
Elementary definability of the class of universal hypergraphic automata in the class of semigroups [PDF]
Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика, 2022 Hypergraphic automata are automata, state sets and output symbol sets of which are hypergraphs, being invariant under actions of transition and output functions. Universally attracting objects in the category of hypergraphic automata are called universal
Molchanov, Vladimir Aleksandrovich +1 more
doaj +1 more source
Residuality and Learning for Nondeterministic Nominal Automata [PDF]
Logical Methods in Computer Science, 2022 We are motivated by the following question: which data languages admit an active learning algorithm? This question was left open in previous work by the authors, and is particularly challenging for languages recognised by nondeterministic automata.
Joshua Moerman, Matteo Sammartino
doaj +1 more source
Composite Neutrosophic Finite Automata [PDF]
Neutrosophic Sets and Systems, 2020 The idea behind the neutrosophic set is we can connect the concept by dynamics of opposite interacts and its neutral that are uncertain and get common parts.
J. Kavikumar +4 more
doaj +1 more source
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
Bulletin of the Section of Logic, 2020 Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj +1 more source
Mobile Learning Application for Language and Automata Theory using Android-based
JOIN: Jurnal Online Informatika, 2020 The language and automata theory are which required course must implemented by college student in informatic engineering study program. In this course, there are finite state automata (FSA) and deterministic finite automata (DFA) which are important ...
Maulana Muhamad Sulaiman +2 more
doaj +1 more source