AC Finite Binary Automata
Journal Title: IOSR Journal of Mathematics(IOSR-JM) - Year 2018, Vol 14, Issue 1
Abstract
Associative Finite Binary Automaton, Commutative Finite Binary Automaton, AC Finite Binary Automaton have been introduced. Cross Product of Finite Binary Automatons has been defined. If B1 = (Q1, Δ1, Ʃ1, δ1, p0, F1) and B2 = (Q2, Δ2, Ʃ2, δ2, q0, F2) are any two Finite Binary Automatons, then B1×B2 is also a finite binary automaton. If B1 = (Q1, Δ1, Ʃ1, δ1, p0, F1) and B2 = (Q2, Δ2, Ʃ2, δ2, q0, F2) are any two Associative Finite Binary Automatons, then B1×B2 is also an associative finite binary automaton. If B1 = (Q1, Δ1, Ʃ1, δ1, p0, F1) and B2 = (Q2, Δ2, Ʃ2, δ2, q0, F2) are any two commutative Finite Binary Automatons, then B1×B2 is also a commutative finite binary automaton. If B1 = (Q1, Δ1, Ʃ1, δ1, p0, F1) and B2 = (Q2, Δ2, Ʃ2, δ2, q0, F2) are any two AC Finite Binary Automatons, then B1×B2 is also an AC commutative finite binary automaton.
Authors and Affiliations
S. Shanmugavadivoo 1 ,, Dr. K. Muthukumaran 2
Applications of Operations Research in Oil and Gas Induustry
Utilization of advancement or numerical programming approaches in the upstream division of the oil business, particularly to issues in the territory of (1) Generation frameworks plan and tasks, (2) lift gas and generatio...
A Nonparametric Test for Testing NBUCL Class of Life Distributions with Applications
This paper is devoted to define a new class of life distribution, named new better than used in increasing convex in Laplace transform order (NBUCL). A new test statistic for testing exponentiality against (NBUCL) class...
A Study on Circular Motion and Its Applications
In this paper we have discussed about the circular motion and its applications. The basic concept of dynamics and derivation of circular motion is derived. The application problem such as satellite in a circular orbit, m...
Efficient and Secure Pairing-free ID-based Directed Proxy Signature Scheme
The proxy signature, a variant of the ordinary digital signature, has been an active research topic in recent years; it has many useful applications, including distributed systems and grid computing. In an ordinary proxy...
Extension of Some Theorems In General Metric Spaces
We prove a version of Caristi-Kirk - BrowderTheorem and Park's Theorem [3,4] in G-metric space. And then give some corollaries.