Скачать 102.49 Kb.
FUZZY FORMAL LANGUAGES
Claudio Moraga, University of Dortmund
Hack, M. (1975), Petri net languages, Computation Structures Group Memo 124, Project MAC, MIT.
Lindenmayer, A. (1971), Developmental systems without cellular interactions, their languages and grammars, Journal of Theoretical Biology 30: 455-484.
Meyer zu Bexten, E., F. Sajadi & C. Moraga (1997), Properties of Lindenmayer fuzzy languages and α-driven Lindenmayer languages, in Proceedings of the 27th International Symposium on Multiple–Valued Logic: 195–200. IEEE/Computer Science Press.
Mitzumoto, M, J. Toyoda & K. Tanaja (1973), Examples of formal grammars with weights, Information Processing Letters 2(4): 311-336.
Moraga, C. (2000), Towards a fuzzy computability? Mathware and Softcomputing VI(2-3): 163-172.
Peterson, J.L. (1976), Petri net Languages, Journal of Computer and System Sciences 13(1): 1-24.
Manfred Droste, University of Leipzig
Weighted automata form an exciting field using methods from theoretical computer science, algebra, and combinatorics. They have recently received much interest due to their applications in digital image compression and in natural language processing. A weighted automaton consists of a finite number of states. Actions from an alphabet can induce a change of the current state into another one (a 'transition'), and each transition carries a weight describing e.g. the resources used for its execution, the length of time needed, its reliability, or an award associated with it. Thus a weighted automaton is simply a classical non-deterministic automaton with weights associated to the transitions.
In our lectures, we will first describe how to define the behaviour of a weighted automaton. The weights are typically taken from a semiring, and the behaviour can often be described by suitable homomorphisms from the free monoid of all words over the alphabet of actions into a monoid of matrices over the given semiring –this is how algebra and combinatorics enter the scene. Then we will describe a fundamental characterization of the possible behaviours of weighted automata by rational formal power series: the Kleene-Schützenberger theorem. Afterwards, we will come to more recent research results on transformations of such behaviours, to descriptions of infinite behaviours and/or on aperiodic and star-free behaviours of weighted automata.
Berstel, J. & C. Reutenauer (1988), Rational Series and Their Languages. Springer, Berlin.
Kuich, W. & A. Salomaa (1986), Semirings, Automata, Languages. Springer, Berlin.
Salomaa, A. & M. Soittola (1978), Automata-Theoretic Aspects of Formal Power Series. Springer, Berlin.
(More particular) References
Droste, M. & P. Gastin (2000), Aperiodic and star-free formal power series in partially commuting variables, in D. Krob, A.A. Mikhalev & A.V. Mikhalev, eds., Formal Power Series and Algebraic Combinatorics: 158-169. Springer, Berlin.
Droste, M. & D. Kuske (2003), Skew and infinitary formal power series, in J.C.M. Baeten, J.K. Lenstra, J. Parrow & G.J. Woeginger, eds., Automata, Languages and Programming, Lecture Notes in Computer Science 2719: 426-438. Springer, Berlin.
Droste, M. & G.-Q. Zhang (2003), On transformations of formal power series, Information and Computation 184: 369-383.
CONTEXT-FREE GRAMMAR PARSING
Giorgio Satta, University of Padua
|Programmes languages||Cs-300 Theory of Automata and Formal Languages|
|Cs 300 Theory of Automata and Formal Languages||More than two billion adults do not have access to formal or semi-formal financial services|
|Fuzzy Sets and Fuzzy Logic: Theory and Applications||Integrating Fuzzy Knowledge Base to Genetically Evolved Certainty Neuron Fuzzy Cognitive Maps to Facilitate Decision-Making|
| What is fuzzy logic? Что такое нечеткая логика|
Используйте newsgroup comp ai fuzzy для обсуждения вопросов связанных с фази-логикой
|Formal Music Representation; a Case Study|
|The programmes of study||Description of Programmes 3|