Ganguly et al., 2023 - Google Patents
Parallel communicating one-way reversible finite automata systemGanguly et al., 2023
View PDF- Document ID
- 2983313887963369626
- Author
- Ganguly D
- Chatterjee K
- Ray K
- Pal R
- Publication year
- Publication venue
- International Conference on Frontiers in Computing and Systems
External Links
Snippet
In this paper, we discuss the computational power of parallel communicating finite automata system with one-way reversible finite automaton as components. We show that unlike the multi-head one-way reversible finite automata model (where we are still not sure whether it …
- 230000002441 reversible effect 0 title abstract description 108
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30943—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type
- G06F17/30946—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type indexing structures
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
- G06F17/30386—Retrieval requests
- G06F17/30389—Query formulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
- G06F17/30587—Details of specialised database models
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/3061—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/21—Text processing
- G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30861—Retrieval from the Internet, e.g. browsers
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/46—Multiprogramming arrangements
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computer systems utilising knowledge based models
- G06N5/02—Knowledge representation
- G06N5/022—Knowledge engineering, knowledge acquisition
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformations of program code
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N99/00—Subject matter not provided for in other groups of this subclass
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2216/00—Indexing scheme relating to additional aspects of information retrieval not explicitly covered by G06F17/30 and subgroups
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Romera-Paredes et al. | Mathematical discoveries from program search with large language models | |
Trinh et al. | Solving olympiad geometry without human demonstrations | |
Barzen et al. | Quantum humanities: a vision for quantum computing in digital humanities | |
Achichi et al. | Automatic key selection for data linking | |
Yakaryılmaz et al. | Quantum computation with write-only memory | |
Shani et al. | Engaging ontologies to break MBSE tools boundaries through semantic mediation | |
Lin et al. | An exact algorithm to extract the generalized physical contradiction | |
Bonacina et al. | On first-order model-based reasoning | |
D'Aguì et al. | Multiplicity results for superlinear boundary value problems with impulsive effects | |
Yue et al. | Language acceptability of finite automata based on theory of semi‐tensor product of matrices | |
Belkhir et al. | Quantum vs classical computing: a comparative analysis | |
Chen et al. | Graph unfolding networks | |
Ouannas et al. | A general method to study the co-existence of different hybrid synchronizations in fractional-order chaotic systems | |
Ganguly et al. | Parallel communicating one-way reversible finite automata system | |
Ruschel et al. | Explaining completions produced by embeddings of knowledge graphs | |
Schlachter | Petri net synthesis for restricted classes of nets | |
Rodrigues | EqArgSolver–system description | |
Chatterjee et al. | Reversible Watson–Crick automata | |
da Rocha Braga | A Categorical-Generative Theory of Social Processes: Towards the Ontological and Mathematical Foundations of a Grammar-Based Model for Qualitative Research | |
US9177252B2 (en) | Incremental DFA compilation with single rule granularity | |
Lavado et al. | Concise representations of reversible automata | |
Nikolić et al. | The Experimental Evaluation of Different Explainable AI Techniques for Large Language Models | |
Ma et al. | Random growth networks with exponential degree distribution | |
Zhang et al. | Nondeterminism subject to output commitment in combinatorial filters | |
de Mendívil Grau et al. | Reduction graph for minimal determinization of fuzzy automata |