3 results for “formal languages”

Set a search alert

Research ArticleOpen accessIn the keywordsDeterministic Timed AFA: A New Class of Timed Alternating Finite AutomataAbdelaziz Fellah, Zachary Friggstad, Soufiane NoureddineTimed Alternating Finite Automata (TAFA), a natural generalization of Timed Finite Automata (TFA), are synchronous and powerful models for real-time computations. They become an effective and expressive model for developing embedded systems with real-time constraint computations which are required in many applications. We introduce Deterministic Timed Alternating Finite Automata (DTAFA), a new class of timed alternating finite automata, extended with … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 7,499 accessesView PDF Cite

Research ArticleOpen accessIn the abstractThe Design of ADAT: A Tool for Assessing Automata-Based AssignmentsZarina Shukur, Nurul Fatihah MohamedThis study describes the design of an automatic assessment system for assessing an automata-based assignment. Automata concept is taught in several undergraduate computing courses such as Theory of Computation, Automata and Formal Languages and Compilers. We take two elements into consideration when assessing the student's answers; static element and dynamic element. The static element involves the number of states (initial … …Journal of Computer Science, Vol. 4, Issue 5 · 31 May 2008 · 7,007 accessesView PDF Cite

Research ArticleOpen accessIn the abstractSNL2Z: Tool for Translating an Informal Structured Software Specification into Formal SpecificationMohamed A. Sullabi, Zarina ShukurIn the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool … …American Journal of Applied Sciences, Vol. 5, Issue 4 · 30 Apr 2008 · 7,139 accessesView PDF Cite