Formal models, languages and applications

A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including gr...

Full description

Saved in:
Bibliographic Details
Main Authors: Subramanian, K. G, Rangarajan, K, Mukund, M
Format: eBook Book
Language:English
Published: New Jersey World Scientific Publishing Co. Pte. Ltd 2006
World Scientific
World Scientific Publishing Company
WORLD SCIENTIFIC
WSPC
Edition:1
Series:Series in machine perception and artificial intelligence
Subjects:
Compilers (Computer programs)
Computational complexity
Formal languages
Formal Specification (Software Engineering, Mathematical Logic)
SCIENCE
Array Grammars
Formal Languages
Automata Theory
Formal Models of Computation
ISBN:9789812568892, 9812568891, 9812773037, 9789812773036
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation.
AbstractList A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation.
A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation.Sample Chapter(s)Chapter 1: Finite Array Automata and Regular Array Grammars (150 KB)Contents:Finite Array Automata and Regular Array Grammars (A Atanasiu et al.)Hexagonal Contextual Array P Systems (K S Dersanambika et al.)Contextual Array Grammars (R Freund et al.)A Cosmic Muse (T Head)Triangular Pasting System (T Kalyani et al.)Petri Nets, Event Structures and Algebra (K Lodaya)Anchored Concatenation of MSCs (M Mukund et al.)On Languages Defined by Numerical Parameters (A Salomaa)Digitalization of Kolam Patterns and Tactile Kolam Tools (S Nagata & R Thamburaj)Pollard's Rho Split Knowledge Scheme (M K Viswanath & K P Vidya)and other papersReadership: Researchers in computer science.
Author Rangarajan, K
Mukund, Madhavan
Subramanian, K G
Author_xml – sequence: 1
  fullname: Subramanian, K. G
– sequence: 2
  fullname: Rangarajan, K
– sequence: 3
  fullname: Mukund, M
BackLink https://cir.nii.ac.jp/crid/1130282268975041280$$DView record in CiNii
BookMark eNpFkU1PGzEQhl2VVg0kv6CXHCrRSgT8_XEsESlISCCB4GhNbO_GxVlv1wmIf9_dJBI-2PK8z7yeGR-joyY3AaExweeEcHohicaf0LHRhCrFMFOf0cQoPdyF1NrQr2iklcGUSYG_oUkpf3G_iFCUmRH6tcjdGtJ0nX1I5WyaoKm3UIcyhcZPoW1TdLCJuSlj9KWCVMLkcJ6gp8XV4_x6dnv352b--3YGEgshZswvgYMxDHyoTMDccO69Dgo7XIF0EpwODlTlqj7IlAreGBy0kEQI7it20he1M4byEt7KKqdNsa8pLHN-KfbQ265X-cG-5S754mJoNrGKzu5hgu0wJDsMqWdP92zb5X_bUDZ2Z-n6lA6SvbqcE6kM17Qnvx_I0KVQ54Ob7jU5qD_2ahOjdXHYCWGYakqlNkpgTujuuZ97LNbtdpliWcWmtm0X19C92-eH-_nl8A9YcvYfGROEOQ
ContentType eBook
Book
DBID WMAQA
RYH
YSPEL
DEWEY 005.131
DOI 10.1142/6180
DatabaseName World Scientific
CiNii Complete
Perlego
DatabaseTitleList


DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
EISBN 9812773037
9789812773036
9814477443
9789814477444
Edition 1
Editor Rangarajan, K
Mukund, Madhavan
Subramanian, K G
Editor_xml – sequence: 1
  givenname: K G
  surname: Subramanian
  fullname: Subramanian, K G
  organization: Madras Christian College
– sequence: 2
  givenname: K
  surname: Rangarajan
  fullname: Rangarajan, K
  organization: Madras Christian College
– sequence: 3
  givenname: Madhavan
  surname: Mukund
  fullname: Mukund, Madhavan
  organization: Chennai Mathematical Institute
ExternalDocumentID 9789812773036
10.1142/6180
EBC1679482
848262
BA7931374X
WSPCB0001064
Genre Electronic books
GroupedDBID -VQ
-VX
089
20A
38.
9WS
A4I
A4J
AABBV
AATMT
ABARN
ABCYV
ABIAV
ABMRC
ABQPQ
ACBYE
ACLGV
ACZWY
ADVEM
AERYV
AFOJC
AHWGJ
AIXPE
AJFER
ALMA_UNASSIGNED_HOLDINGS
ALUEM
AMYDA
AVGCG
AZZ
BBABE
CZZ
DUGUG
EBSCA
ECOWB
GEOUK
HF4
J-X
MYL
PD6
PQQKQ
PVBBV
TM9
WMAQA
XI1
YSPEL
RYH
ID FETCH-LOGICAL-a60555-3dba4a993adef9e04944dd8e70c0fa6c6ac8eca7fcf8e7377ed990e8561554df3
ISBN 9789812568892
9812568891
9812773037
9789812773036
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000068385&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Sun Nov 30 03:40:24 EST 2025
Sat Mar 29 05:22:08 EDT 2025
Wed Dec 10 09:53:35 EST 2025
Tue Dec 02 17:41:41 EST 2025
Thu Jun 26 23:37:03 EDT 2025
Thu Sep 11 08:28:43 EDT 2025
IsPeerReviewed false
IsScholarly false
Keywords Array Grammars
Formal Languages
Automata Theory
Formal Models of Computation
LCCallNum QA267.3
LCCallNum_Ident QA267.3
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a60555-3dba4a993adef9e04944dd8e70c0fa6c6ac8eca7fcf8e7377ed990e8561554df3
Notes Includes bibliographical references
OCLC 879023650
PQID EBC1679482
PageCount 420
ParticipantIDs igpublishing_primary_WSPCB0001064
perlego_books_848262
nii_cinii_1130282268975041280
askewsholts_vlebooks_9789812773036
proquest_ebookcentral_EBC1679482
worldscientific_books_10_1142_6180
ProviderPackageCode J-X
PublicationCentury 2000
PublicationDate 2006.
2006
20060700
2006-07-17
PublicationDateYYYYMMDD 2006-01-01
2006-07-01
2006-07-17
PublicationDate_xml – year: 2006
  text: 2006
PublicationDecade 2000
PublicationPlace New Jersey
PublicationPlace_xml – name: New Jersey
– name: Singapore
PublicationSeriesTitle Series in machine perception and artificial intelligence
PublicationYear 2006
Publisher World Scientific Publishing Co. Pte. Ltd
World Scientific
World Scientific Publishing Company
WORLD SCIENTIFIC
WSPC
Publisher_xml – name: World Scientific Publishing Co. Pte. Ltd
– name: World Scientific
– name: World Scientific Publishing Company
– name: WORLD SCIENTIFIC
– name: WSPC
SSID ssj0000157239
Score 1.9067125
Snippet A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the...
SourceID askewsholts
worldscientific
proquest
perlego
nii
igpublishing
SourceType Aggregation Database
Publisher
SubjectTerms Compilers (Computer programs)
Computational complexity
Formal languages
Formal Specification (Software Engineering, Mathematical Logic)
SCIENCE
SubjectTermsDisplay Compilers (Computer programs)
Computational complexity
Formal languages
TableOfContents Formal models, languages and applications -- Preface -- Contents -- Chapter 1: Finite Array Automata and Regular Array Grammars/Adrian Atanasiu, K. G. Subramanian, K. Rangarajan and P. S. P. Wang -- Chapter 2: L-Convex Polyominoes: a Survey/Giusi Castiglione and Antonio Restivo -- Chapter 3: On Oriented Labelling Parameters/Daniel Gongalves, Andre Raspaud and M. A. Shalu -- Chapter 4: On a Variant of Parallel Communicating Grammar Systems with Communication by Command/Erzsebet Csuhaj-Varju and Gyorgy Vaszil -- Chapter 5: Some Remarks on Homogeneous Generating Networks of Free Evolutionary Processors/Jurgen Dassow, Carlos Martin-Vide -- Chapter 6: Hexagonal Contextual Array P Systems/K. S. Dersanambika, K. Krithivasan, H. K. Agarwal and J. Gupta -- Chapter 7: A q-Analogue of the Parikh Matrix Mapping/Ömer Eğecioğlu and Oscar H. Ibarra -- Chapter 8: Contextual Array Grammars/Rudolf Freund, Gheorghe Paun, and Grzegorz Rozenberg -- Chapter 9: Characterizing Tractability by Cell-Like Membrane Systems/Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núnez, Francisco J. Romero-Campero and Álvaro Romero-Jiménez -- Chapter 10: A Cosmic Muse/Tom Head -- Chapter 11: Sublogarithmically Space-Bounded Alternating One-Pebble Turing Machines with Only Universal States/Katsushi Inoue, Akira Ito and Atsuyuki Inoue -- Chapter 12: Verification of Clock Synchronization in TTP/K. Kalyanasundaram and R. K. Shyamasundar -- Chapter 13: Triangular Pasting System/T. Kalyani, K. Sasikala, V. R. Dare, P. J. Abishaf and T. Robinson -- Chapter 14: Towards Reducing Parallelism in P Systems/Shankara Narayanan Krishna -- Chapter 15: Iteration Lemmata for Rational, Linear, and Algebraic Languages Over Algebraic Structures with Several Binary Operations/Manfred Kudlek -- Chapter 16: The Computational Efficiency of Insertion Deletion Tissue P Systems/K. Lakshmanan -- Chapter 17: Petri Nets, Event Structures and Algebra/Kamal Lodaya -- Chapter 18: Pattern Generation and Parsing by Array Grammars/Kenichi Morita, Jin-Shan Qi and Katsunobu Imai -- Chapter 19: Anchored Concatenation of MSCs/Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan and Shaofa Yang -- Chapter 20: Simple Deformation of 4D Digital Pictures/Akira Nakamura -- Chapter 21: Probabilistic Inference in Test Tube and Its Application to Gene Expression Profiles/Yasubumi Sakakibara, Takashi Yokomori -- Chapter 22: On Languages Defined by Numerical Parameters/Arto Salomaa -- Chapter 23: An Application of Regular Tree Grammars/Priti Shankar -- Chapter 24: Digitalization of Kolam Patterns and Tactile Kolam Tools/Shojiro Nagata and Robinson Thamburaj -- Chapter 25: Hexagonal Array Acceptors and Learning/D. G. Thomas, M. H. Begam, N. G. David and Colin de la Higuera -- Chapter 26: Pollard's Rho Split Knowledge Scheme/M. K. Viswanath and K. P. Vidya -- Chapter 27: Characterizations for Some Classes of Codes Defined by Binary Relations/Do Long Van and Kieu Van Hung -- Back Cover
Intro -- CONTENTS -- Preface -- Chapter 1 Finite Array Automata and Regular Array Grammars -- 1 Introduction -- 2 Preliminaries -- 3 Finite Array Automata -- 4 Regular Array Languages and Pumping Lemma -- 5 Control on Regular Array grammars -- 6 Final Remarks -- References -- Chapter 2 L-Convex Polyominoes: A Survey -- 1 Introduction -- 2 Definitions and Preliminaries on L-convex Polyominoes -- 3 Discrete Tomography -- 4 L-convex Polyominoes with Respect to Subpicture Order -- 5 Enumerating L-Convex Polyominoes -- References -- Chapter 3 On Oriented Labelling Parameters -- 1 Introduction -- 2 Oriented Vertex Partitioning Problems -- 3 Notation and Terminology -- 4 Two Oriented Variations of L(p g)-Labelling -- 5 Oriented L(p q)-Labelling for Trees -- 6 Oriented L(p 1)-Labelling of Bipartite Graphs -- 7 Oriented L(p 1)-Labelling and the Acyclic Chromatic Number -- 8 L(p q)-Labelling of Oriented Graphs -- 9 Conclusion -- References -- Chapter 4 On a Variant of Parallel Communicating Grammar Systems with Communication by Command -- 1 Introduction -- 2 Basic Notions and Definitions -- 3 On the Power of FCCPC Grammar Systems -- 4 On the Efficiency of FCCPC Grammar Systems -- 5 Final Remarks -- References -- Chapter 5 Some Remarks on Homogeneous Generating Networks of Free Evolutionary Processors -- 1 Introduction -- 2 Basic Definitions -- 3 Computational Power of HGNFEPs -- 4 Conclusion -- References -- Chapter 6 Hexagonal Contextual Array P Systems -- 1 Introduction -- 2 Preliminaries -- 3 External and Internal Hexagonal Array Contextual P Systems -- 4 Contextual Hexagonal Array P Systems with Erased Contexts -- 5 Some Properties of Hexagonal Array Contextual P Systems -- 6 Correspondence between External Array Contextual P Systems and External Hexagonal Array Contextual Grammars with Regular Control -- 7 Concluding Remarks -- References
Chapter 14 Towards Reducing Parallelism in P Systems -- 1 Introduction -- 2 Some Language Theory Prerequisites -- 3 Time Dependent Transition P Systems -- 4 The Generative Power -- 5 P Systems with Null Parallelism -- 6 The Generative Power -- References -- Chapter 15 Iteration Lemmata for Rational Linear and Algebraic Languages Over Algebraic Structures with Several Binary Operations -- 1 Introduction -- 2 Systems of Equations -- 3 Normal Forms -- 4. Iteration Lemmata -- References -- Chapter 16 The Computational Efficiency of Insertion Deletion Tissue P Systems -- 1. Introduction -- 2. Insertion-Deletion tP System -- 3. The Efficiency of the System -- 4. Final Remarks -- References -- Chapter 17 Petri Nets Event Structures and Algebra -- 1. Signatures and Terms -- 2. Algebras and Recognizability -- 3. Nets and Algebras -- 4. Congruences -- 5. Event Structures -- References -- Chapter 18 Pattern Generation and Parsing by Array Grammars -- 1. Introduction -- 2. Pattern Generation in Array Grammars -- 3. Generating Connected and Simply-Connected Words by UPAGs -- 4. Concluding Remarks -- References -- Chapter 19 Anchored Concatenation of MSCs -- 1. Introduction -- 2. Message Sequence Charts -- 3. Preliminaries -- 4. MSC Languages of HMSCs -- 5. Closure of HMSCs with Respect to Implied Scenarios -- 6. Conclusions -- References -- Chapter 20 Simple Deformation of 4D Digital Pictures -- 1. Introduction -- 2. Definition -- 3. Main Theorem -- 4. Further Problems -- Acknowledgment -- References -- Chapter 21 Probabilistic Inference in Test Tube and its Application to Gene Expression Profiles -- 1. Introduction -- 2. Evaluation of Boolean Formulae in DNA -- 3. Probabilistic Inference in DNA -- 4. Application to in-vitro Gene Expression Analyses -- 5. Conclusions -- Acknowledgments -- References -- Chapter 22 On Languages Defined by Numerical Parameters
1. Introduction -- 2. Preliminary Considerations -- 3. Basic Definitions -- 4. Useful Reductions -- 5. The Case of a-Separated Words -- 6. Languages Associated with Parikh Matrices -- References -- Chapter 23 An Application of Regular Tree Grammars -- 1. Introduction -- 2. Regular Tree Grammars and Tree Parsing -- 3. Techniques Extending LR-Parsers -- 4. Conclusion -- References -- Chapter 24 Digitalization of Kolam Patterns and Tactile Kolam Tools -- 1. Kolam Patterns -- 2. Picture Language -- 3. Digitalization of Kolam Patterns -- 4. Universal Kolam Cube (UKC/PsyKolo) -- 5. Tactile Kolam Sheets -- 6. Summary -- Acknowledgments -- References -- Chapter 25 Hexagonal Array Acceptors and Learning -- 1. Introduction -- 2. Preliminaries -- 3. Automata for Languages of HREC -- 4. Examples -- 5. Results -- 7. Learning of Recognizable Hexagonal Picture Languages -- Acknowledgments -- References -- Chapter 26 Pollard's Rho Split Knowledge Scheme -- 1. Introduction -- 2. Elliptic Curves -- 3. Pollard's Rho Split Knowledge Scheme -- 4. Wired Payment System -- 5. Conclusion -- References -- Chapter 27 Characterizations for Some Classes of Codes Defined by Binary Relations -- 1. Introduction -- 2. Characterizations -- 3. Maximality -- 4. Supercodes over Two-Letter Alphabets -- References
Chapter 7 A q-Analogue of the Parikh Matrix Mapping -- 1 Introduction -- 2 Definitions -- 3 Parikh Matrix Mapping -- 4 q-Counting Scattered Subwords -- 5 Parikh q-Matrix Mapping -- 6 Injectivity Inverse and Further Remarks -- References -- Chapter 8 Contextual Array Grammars -- 1 Introduction -- 2 Array Grammars - Definitions and Examples -- 3 Contextual Array Grammars: Definitions and Examples -- 4 The Power of Contextual Array Grammars -- 5 Contextual Array Grammars and Context-free Array Grammars -- 6 Contextual Array Grammars and Siromoney Matrix Array Grammars -- References -- Chapter 9 Characterizing Tractability by Cell-Like Membrane Systems -- 1 Introduction -- 2 Preliminaries -- 3 Accepting Cell-like Membrane Systems -- 4 Complexity Classes in Cell-like Membrane Systems -- 5 Simulating Turing Machines by P Systems -- References -- Chapter 10 A Cosmic Muse -- 1 Introduction -- 2 Should the Scale of Our Cosmos Intimidate Us? -- 3 The Dimension of the Eternal -- 4 Cosmoscopes -- 5 Are all Eyes the Eyes of G-d? -- 6 Are all I's the I of G-d? -- References -- Chapter 11 Sublogarithmically Space-Bounded Alternating One-Pebble Turing Machines with only Universal States -- 1 Introduction -- 2 Definitions and Notations -- 3 Incomparability with 2-DC -- 4 USPACE Versus ASPACE -- 5 Space Hierarchy -- 6 Closure Property -- 7 Conclusion -- References -- Chapter 12 Verification of Clock Synchronization in TTP -- 1 Introduction -- 2 Time-Triggered Protocol -- 3 Modelling TTP in lustre -- 4 Verification of TTP -- 5 Discussion -- References -- Chapter 13 Triangular Pasting System -- 1 Introduction -- 2 Notation and Preliminaries4 5 -- 3 Two Tabled Triangular Pasting System -- 4 Sequential Tabled Triangular Pasting System -- 5 Symmetric Pasting System -- 6 Basic Puzzle Iso Array Grammar -- 7 Conclusion -- References
Title Formal models, languages and applications
URI http://portal.igpublish.com/iglibrary/search/WSPCB0001064.html
https://cir.nii.ac.jp/crid/1130282268975041280
https://www.perlego.com/book/848262/formal-models-languages-and-applications-pdf
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=1679482
https://www.worldscientific.com/doi/10.1142/6180
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9789812773036&uid=none
Volume 66
WOSCitedRecordID wos000068385&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3fb9MwED6xgtCKhIANEWAoIF4QZOSHGzuPtCpDGoxJDOhb5NhOVzayqumq_fmcY9fJihDigZeocdNc6891vruzvwN4yfQeJ6WSgCZSBWSQhQG6YGkgZBEXQsahMFVLPtKjIzaZZMdWpaNuygnQqmJXV9n8v0KNbQi23jr7D3C7m2IDvkbQ8Yiw43GDEbtTV2Xzp94LomvbNOisY5FGhrmbqm5TQegsawUMEwY93H99sN9mfqopX_Af67daaM4ubSliLk_5yg6vP0UOzGqdZgppliVd8ywzfPAPUsZMobrf51midVvTyFRh2lCsHr7DP32UUDLZgi2aokt882D8-euhi30hBaFxkhn9o9YSOs3uJLoNd6yht9pMH_q8PsN5H58Jy1rryk7nLk6HvKCazdCDmavFuZpeXPMW7jbSs7X7mR36cHIPenpLyX24oaoH0P_klHLrHXhlUPMNam98h5mPmPldzHbh2_vxyehDYMtXBDzVMmpBIgtOOBJALlWZKa3EQ6RkioYiLHkqUi6YEpyWosTGhFIlkRsoNtC5YiLL5CH0qotKPQK_SCUrEorst2RIYAstMYTcmOKnSBRL6cGLTvfkq_Mm1V7ntn_xOmQqHjzv9lo-N3om-fcvx6Nh2EQHiAd72JW5mOljpLPayCBTlukqAEhlQg92bCfnxgIj6KDGHvjrHs8b03ZpcT4ejnSiDy_Cr7iBhL2D2Rof5xrmx38x_wS225H8FHrLxaXag1titZzVi2d2nP0C_2RbIQ
linkProvider ProQuest Ebooks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Formal+models%2C+languages+and+applications&rft.au=Subramanian%2C+K.+G.&rft.au=Rangarajan%2C+K.&rft.au=Mukund%2C+Madhavan&rft.date=2006-01-01&rft.pub=World+Scientific&rft.isbn=9789812568892&rft_id=info:doi/10.1142%2F6180&rft.externalDocID=BA7931374X
thumbnail_l http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.perlego.com%2Fbooks%2FRM_Books%2Fworld_scientific_pub_rlpceeul%2F9789812773036.jpg
thumbnail_m http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97898127%2F9789812773036.jpg
thumbnail_s http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fportal.igpublish.com%2Figlibrary%2Famazonbuffer%2FWSPCB0001064_null_0_320.png
http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.worldscientific.com%2Faction%2FshowCoverImage%3Fdoi%3D10.1142%2F6180