Информатика и вычислительная техника
  • формат pdf
  • размер 16.46 МБ
  • добавлен 10 декабря 2011 г.
Subramanian K.G., Rangarajan K., Mukund M. (eds.) Formal Models, Languages and Applications
Издательство World Scientific, 2006, -420 pp.

This volume of contributed papers commemorates the 75th birthday of Prof. Rani Siromoney, one of the foremost theoretical computer scientists in India and a leading authority on Formal Languages and Automata Theory. Over a period spanning four decades, she has made tremendous technical contributions to the field through her research. She has also inspired generations of students in Chennai with her teaching and has been responsible for building up a community of dedicated teachers and researchers in this part of India to carry forward her vision.
Prof. Siromoney has served on the Editorial Board of the jouals Theoretical Computer Science and Inteational Joual of Foundations of Computer Science and has headed several inteational collaborative research projects. She also served on the Programme Committee for the first ten editions of the inteational conference Foundations of Software Technology and Theoretical Computer Science, one of the leading theoretical computer science conferences in the world. She is currently Professor Emeritus at Madras Christian College, the illustrious institution where she has spent most of her professional life. She continues to play an active role in research and teaching as Adjunct Professor at Chennai Mathematical Institute.
The contributions in this volume span a wide range of subjects, thematically connected by the use of concepts from formal languages and automata theory. The areas explored in this volume include compiler construction, computational complexity theory, formal modelling of concurrent systems, codes and image analysis. The contributors are leading researchers in computer science from all parts of the world, all of whom have been associated with Rani Siromoney during the course of her long and productive career.

Finite Array Automata and Regular Array Grammars
L-Convex Polyominoes: A Survey
On Oriented Labelling Parameters
On a Variant of Parallel Communicating Grammar Systems with Communication by Command
Some Remarks on Homogeneous Generating Networks of Free Evolutionary Processors
Hexagonal Contextual Array P Systems
A q-Analogue of the Parikh Matrix Mapping
Contextual Array Grammars
Characterizing Tractability by Cell-Like Membrane Systems
A Cosmic Muse
Sublogarithmically Space-Bounded Alteating One-Pebble Turing Machines with only Universal States
Verification of Clock Synchronization in TTP
Triangular Pasting System
Towards Reducing Parallelism in P Systems
Iteration Lemmata for Rational, Linear, and Algebraic Languages Over Algebraic Structures with Several Binary Operations
The Computational Efficiency of Insertion Deletion Tissue P Systems
Petri Nets, Event Structures and Algebra
Patte Generation and Parsing by Array Grammars
Anchored Concatenation of MSCs
Simple Deformation of 4D Digital Pictures
Probabilistic Inference in Test Tube and its Application to Gene Expression Profiles
On Languages Defined by Numerical Parameters
An Application of Regular Tree Grammars
Digitalization of Kolam Pattes and Tactile Kolam Tools
Hexagonal Array Acceptors and Leaing
Pollard's Rho Split Knowledge Scheme
Characterizations for Some Classes of Codes Defined by Binary Relations
Похожие разделы
Смотрите также

Bel-Enguix G., Jim?nez-L?pez M.D., Mart?n-Vide (eds.). New Developments in Formal Languages and Applications

  • формат pdf
  • размер 4.31 МБ
  • добавлен 05 декабря 2011 г.
Издательство Springer, 2008, -278 pp. The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas of either computer science (concurrent and distributed systems, computer graphics, artificial life), biology (plant development, molecular genetics), lingu...

Carroll J., Long D. Theory of Finite Automata with an Introduction to Formal Languages

  • формат pdf
  • размер 14.54 МБ
  • добавлен 01 ноября 2011 г.
Издательство Prentice Hall, 1989, -447 pp. It often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid-1800s, and Boolean algebra is used today to represent modern TIL (transistor-transistor lo...

Mikolajczak B. Algebraic and structural automata theory

  • формат djvu
  • размер 2.16 МБ
  • добавлен 01 ноября 2011 г.
Издательство North Holland, 1991, -424 pp. The subject of research in automata theory is a design of mathematical models describing methods of information transformation in digital systems. Automata theory is especially concerned with abstract models of systems working by means of discrete signals, known as digital signals. Special emphasis has been put on digital computers, digital systems of control for technological processes, and digital sys...

Pin J.E. (ed.) Formal Properties of Finite Automata and Applications

  • формат djvu
  • размер 2.38 МБ
  • добавлен 01 ноября 2011 г.
Издательство Springer, 1989, -268 pp. The subject of the sixteenth School is the theory of finite automata and its applications. However two important parts of this theory are not treated in this volume, because they were already the subject of two earlier Spring Schools : "Automata on infinite words" (Spring School 1984) and "Automata Networks" (Spring School 1986). The proceedings have been divided into three sections. The first section is de...

Reghizzi S.C. Formal Languages and Compilation

  • формат pdf
  • размер 2.6 МБ
  • добавлен 05 декабря 2011 г.
Издательство Springer, 2009, -370 pp. The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as imp...

Rozenberg G., Salomaa A. (Eds.) Handbook of Formal Languages. Volume 2. Linear Modeling: Background and Application

Справочник
  • формат djvu
  • размер 15 МБ
  • добавлен 28 сентября 2011 г.
Издательство Springer, 1997, -552 pp. The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second-mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible any more....

Rozenberg G., Salomaa A. (eds.) Handbook of Formal Languages: Volume 1. Word, Language, Grammar

Справочник
  • формат pdf
  • размер 71.47 МБ
  • добавлен 06 октября 2011 г.
Издательство Springer, 1997, -873 pp. This first volume of the Handbook of Formal Languages gives a comprehensive authoritative exposition on the core of language theory. Grammars, codes, power series, L systems, and combinatorics on words are all discussed in a thorough, yet self-contained manner. This is perhaps the most informative single volume in the history of theoretical computer science. As a Ph.D. candidate working in parsing and intere...

Shallit J. A Second Course in Formal Languages and Automata Theory

  • формат pdf
  • размер 1.36 МБ
  • добавлен 14 октября 2011 г.
Издательство Cambridge University Press, 2008, -254 pp. Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other langua...

Taubner D. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

  • формат djvu
  • размер 1.31 МБ
  • добавлен 01 ноября 2011 г.
Издательство Springer, 1989, -167 pp. There are two main approaches to a theory of concurrent distributed computations: the theory of Petri nets and the Milner/Hoare theory of CCS/CSP. They are based on different philosophies and emerged from two different classical notions of computability. The Petri net approach developed (in the early 60s) from the ideas around Turing machines and automata; it has concurrency and causality as its basic concep...

Xavier S.P.E. Theory of Automata Formal Languages and Computation

  • формат pdf
  • размер 1.89 МБ
  • добавлен 01 ноября 2011 г.
Издательство New Age International, 2005, -360 pp. This book deals with a fascinating and important subject which has the fundamentals of computer hardware, software and some of their applications. This book is intended as an introductory graduate text in computer science theory. I have taken care to present the material very clearly and interestingly. As an introductory subject to computer science, this book has been written with major stress o...