نتایج جستجو برای: complex fuzzy tree automata

تعداد نتایج: 1042814  

1998
Yanqing Zhang Abraham Kandel

compensatory genetic fuzzy neural networks and their applications neural networks fuzzy logic and genetic algorithms by rajasekaran and g a v pai ebook free download nonlinear workbook chaos fractals cellular automata neural networks genetic algorithms gene expression programming wavelets fuzzy logic with c java and symbolicc programs applications of neural networks in environment energy and he...

2007
Miroslav Ciric Aleksandar Stamenkovic Jelena Ignjatovic Tatjana Petkovic

We show that the size reduction problem for fuzzy automata is related to the problem of solving a particular system of fuzzy relation equations. This system consists of infinitely many equations, and finding its general solution is a very difficult task, so we first consider one of its special cases, a finite system whose solutions, called right invariant fuzzy equivalences, are common generali...

In this paper, by presenting some notions and theorems, we obtaindifferent types of fuzzy topologies. In fact, we obtain someLowen-type  and Chang-type fuzzy topologies on general fuzzyautomata. To this end, first we define a Kuratowski fuzzy interioroperator which induces a  Lowen-type  fuzzy topology on the  set ofstates of a max- min general   fuzzy automaton. Also by  provingsome theorems, ...

Journal: :iranian journal of fuzzy systems 2013
m. horry m. m. zahedi

in this paper, by presenting some notions and theorems, we obtaindifferent types of fuzzy topologies. in fact, we obtain somelowen-type  and chang-type fuzzy topologies on general fuzzyautomata. to this end, first we define a kuratowski fuzzy interioroperator which induces a  lowen-type  fuzzy topology on the  set ofstates of a max- min general   fuzzy automaton. also by  provingsome theorems, ...

Journal: :Inf. Process. Lett. 2008
Olivier Gauwin Joachim Niehren Yves Roos

Streaming validation and querying of XML documents are often based on automata for tree-like structures. We propose a new notion of streaming tree automata in order to unify the two main approaches, which have not been linked so far: automata for nested words or equivalently visibly pushdown automata, and respectively pushdown forest automata.

Journal: :journal of medical signals and sensors 0
s.h. sabzpoushan fateme pourhasanzade

ventricular fibrillation is the cause of the most sudden deaths. the recent findings have clearly proved the correlation between the slope of restitution curve with ventricular fibrillation. cellular automata is a powerful tool for simulating complex phenomena in a simple language. in this paper, a simple model is proposed for the simulation of the property of restitution in a single cardiac ce...

In this note first by considering the notion of general fuzzy automata (for simplicity GFA), we define the notions of direct product, restricted direct product and join of two GFA. Also, we introduce some operations on (Fuzzy) sets and then prove some related theorems. Finally we construct the general fuzzy recognizers and recognizable sets and give the notion of (trim) reversal of a given GFA....

2012
Jirí Simácek

This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improv...

Journal: :International Journal of Computer Applications 2012

1972
R. Hossley Charles Rackoff

The purpose of this paper is to give an alternative proof to the decidability of the emptiness problem for tree automata, as shown in Rabin [4]. The proof reduces the emptiness problem for automata on infinite trees to that for automata on finite trees, by showing that any automata definable set of infinite trees must contain a finitelygenerable tree. Section 1: Introduction The analysis of fin...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید