SlideShare a Scribd company logo
Small(purely) Catalytic P systems simulating
register machine
Authored by
petr sosik,Miroslav langer
PRESENTED BY
MUDHIGONDA,VENKAT SAI SHARATH CHANDRA
FOR THE COURSE
CS5813 FORMAL LANGUAGES
11/22/2016
Table of Contents
 Introduction
 Definitions
 P systems simulation in different modes
 P systems Generating a Non-Semilineaar set
 Conclusion
INTRODUCTION
 P System is an abstract computing
model inspired by the behavior of
membranes in living cells, active
transport of molecules,catalyzed
reactions etc.
 Catalyst is a substance that increases
the rate of a chemical reaction
without itself undergoing any
permanent chemical change.
 Catalyst cannot change during the
reaction and they cannot travel
between regions
Difference between Small and purely catalytic Systems
Small Catalytic P Systems
 Small Catalytic P System consists of
difference natural behaviors including
catalytic reactions
 Two catalyst are required to prove them
as Turing –computable
Purely Catalytic P Systems
 Purely catalytic P system only involves
catalyzed reactions
 Three catalyst are required to prove them
as Turing-Computable
What is Register Machine?
 In mathematical logic and theoretical computer science a register machine is a
generic class of abstract machines used in a manner similar to a Turing machine.
All the models are Turing equivalent.
 In contrast to the tape and head used by a Turing machine, the model uses
multiple, uniquely addressed registers, each of which holds a single positive
integer.
 Two catalyst are enough to simulate any register machine with two decrementable
register which , in turn can compute any Turing-Computable function.
Basic idea
 P systems in different computing modes can only compute semilinear sets
 Non-Semilinear set is set of integers or tuple of integers constructed in such a way
that they do not follow any sequence(like arthmetic progression)
 The P system with catalyst proved to have computational completeness but there
was no example of cataysts generating a non- Semilinear set
Definitions
 By N we denote the set of all nonnegative integers, NRE denotes the class of all
recursively enumerable sets of non negative integers
 PsRE the class of all recursively enumerable vectors of nonnegative integers. For
a finite set of symbolsV, by V∗
 we denote the set of all strings consisting of letters from V, including the empty
string.
 Following the notation , for integers m ≥2and k, lsuch that 1 ≤k, l ≤m, we define
Definitions
 A register machine is a tuple M=(m,H,lo,lh,I), where:
• m is the number of registers;
• H is the set of labels of instructions;
• lo is the label of the initial instruction;
• lh is the label of the final (halting) instruction;
• I is the program, i.e., a set of instructions labeled in a one-to-one manner by the
elements of H.
Register Instructions
 The instruction types are:
• (ADD(r),i,j)– add 1 to the contents of register r and choose non-deterministically
to continue with the instruction labeled i or j ; if the machine is deterministic, then
the instruction adopts the form (ADD(r),i);
• (SUB(r),i,j)– if the contents of the register r is nonzero, then subtract 1 from it and
continue with instruction i, else continue with instruction j;
• HALT– halt the machine.
Catalytic P system
 Acatalytic P systemof degree m ≥1is a construct
• 𝝅 =(O,C,μ,w1,...,wm,R1,...,Rm,i0)
• where:
• O is the alphabet of objects;
• C ⊆ Ois the alphabet of catalysts;
• μ is a membrane structure of degree m with membranes labeled in a one-to-one manner
with the natural numbers 1, 2, ..., m;
• w1, ..., wm ∈ O∗ are strings representing multisets of objects initially present in the m
regions of μ;
• Ri, 1 ≤i ≤m, are finite sets of evolution rules over O associated with the regions 1, 2, ...,
mof μ; these evolution rules are of the forms ca →cv or a →v, where c is a catalyst, a is an
object from O −C, and vis a string from ((O −C) ×{here, out, in})∗;
• I0 ∈ {0, 1, ..., m} indicates the output region of 𝝅.
Catalytic P Systems in Generating mode
 Here # is called trap symbol
 # is used to when two objects are in
same state and need a catalyst to
complete the reaction
 # is also used when an wrong step is
chosen non deterministically such that
the process never halts
Rules for trap
symbol
Rules for add
instruction
Rules for sub
instruction
Simulation of ADD instruction
 An ADD-instruction j :(ADD(r), k, l) ∈ I is simulated by the no n-deterministic
choice of one of the rules
 c1p̃j→c1pkd2or
 c1p̃j→c1pld2or
 Simultaneously, the rule c2d→c2is executed in order to keep the catalyst c2busy.
 If this catalyst instead acts in the rule c2o2→c2d2 then in the next step there are
two objects d2and at least one is subject to the rule d2→#, introducing the trap
symbol #.
simulation of SUB instructions
Simulation of HALT instruction
 The instruction lh:(HALT)is simulated without using any special objects or rules
of the P system. We simply modify each previously described rule producing the
symbol plhby replacing this object at the right-hand side of the rule by d1. When
such a rule is executed, the P systems finally halts with both simulated registers
r1and r2being empty
Result
 Cataltyic P systems halt these instructions after following rules
 |R| ≤ 3nA + 6nS + 11 for catalytic Psystems,
 |R| ≤ 3nA + 6nS + 13 for purely catalyticP systems
• where nA and nS is the number of instructions ADD and SUB, respectively
Catalytic P Systems in Computing mode
 In this mode there are ‘r’ number of catalysts
which can decrement with associated r
registers
 Here ADD instructions are simulated
deterministically
 j : (ADD(r),k) ∈ I
 SUB instructions are guessed non-
determinstically
Simulation of
SUB instructions
 When the wrong step is chosen
non-deterministically # is
introduced
 The correct steps of simulation
results in halting of instructions else
the computation cannot produce
any result
 If there are any undesired rules
catalysts are kept busy in other
auxiliary rules
Result
 Catalytic P system can achieve its result in following rules
 |R| ≤ 2nA+6nS+5m+1.
 By using generalized register machine we can reduce the result to
 |R| ≤ 6nS + 5m +1 for catalytic P systems,
 |R| ≤ 6nS + 6m + 1 forpurely catalytic P systems.
 In similar manner Catalytic P systems in accepting mode can be achieved in
following rules
 |R| ≤ 2nA+6nS+5m+1.
Catalytic P systems
generating Semilinear
sets
 Consider a non-deterministic register
machine with three registers generating the
set {2n −2n | n ≥2}. The machine starts
with all registers empty and it runs the
following program which stores the result
in register 3
Catalytic P systems generating
Semilinear sets
 The register machine program described works as
follows:
• The contents of register 1 is emptied and duplicated
to register 2
• then the contents of register 2 is copied to register 1
and added to register 3 .
• Finally, the only non-deterministic instruction ADD
labeled 7 increments register 1 and it decides non-
deterministically whether the computation continues
or whether it halts.
• The whole cycle is repeated until a jump to the
instruction HALT is chosen non-deterministically.
GENERALISED REGISTER MACHINE INSTRUCTIONS
 we can express the program given above with generalized SUB-instructions
1: (SUB(1),ADD(2)ADD(2) 1,2)
2: (SUB(2),ADD(1)ADD(3)2,ADD(1)3)
3: HALT
CONCLUSION
 The paper was hard to understand in the beginning. So, I have started reading the
relevant papers to get idea of P systems
 This paper proves Universal Completeness of P systems by computing non-
semilinear sets
 The author utilizes catalyst which are equal to no off register machines in
computing mode but the paper states that they use only two catalysts

More Related Content

What's hot

Microprocessor Week 8: Advance programming
Microprocessor Week 8: Advance programmingMicroprocessor Week 8: Advance programming
Microprocessor Week 8: Advance programming
Arkhom Jodtang
 
Lecture: Automata
Lecture: AutomataLecture: Automata
Lecture: Automata
Marina Santini
 
Meeting w3 chapter 2 part 1
Meeting w3   chapter 2 part 1Meeting w3   chapter 2 part 1
Meeting w3 chapter 2 part 1mkazree
 
Meeting w6 chapter 2 part 3
Meeting w6   chapter 2 part 3Meeting w6   chapter 2 part 3
Meeting w6 chapter 2 part 3mkazree
 
Finite automata
Finite automataFinite automata
Finite automata
Pusp Sunar
 
Introduction to Control systems in scilab
Introduction to Control systems in scilabIntroduction to Control systems in scilab
Introduction to Control systems in scilab
Scilab
 
Automata Theory - Turing machine
Automata Theory - Turing machineAutomata Theory - Turing machine
Automata Theory - Turing machine
Akila Krishnamoorthy
 
Asymptoptic notations
Asymptoptic notationsAsymptoptic notations
Asymptoptic notations
Alisha Jindal
 
Ssmboost
SsmboostSsmboost
Ssmboost
divyasri0008
 
AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
suthi
 

What's hot (12)

Microprocessor Week 8: Advance programming
Microprocessor Week 8: Advance programmingMicroprocessor Week 8: Advance programming
Microprocessor Week 8: Advance programming
 
Lecture: Automata
Lecture: AutomataLecture: Automata
Lecture: Automata
 
Meeting w3 chapter 2 part 1
Meeting w3   chapter 2 part 1Meeting w3   chapter 2 part 1
Meeting w3 chapter 2 part 1
 
Meeting w6 chapter 2 part 3
Meeting w6   chapter 2 part 3Meeting w6   chapter 2 part 3
Meeting w6 chapter 2 part 3
 
Finite automata
Finite automataFinite automata
Finite automata
 
Introduction to Control systems in scilab
Introduction to Control systems in scilabIntroduction to Control systems in scilab
Introduction to Control systems in scilab
 
Transfer Function
Transfer FunctionTransfer Function
Transfer Function
 
Automata Theory - Turing machine
Automata Theory - Turing machineAutomata Theory - Turing machine
Automata Theory - Turing machine
 
Finite automata
Finite automataFinite automata
Finite automata
 
Asymptoptic notations
Asymptoptic notationsAsymptoptic notations
Asymptoptic notations
 
Ssmboost
SsmboostSsmboost
Ssmboost
 
AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
 

Viewers also liked

Li fi technology
Li fi technologyLi fi technology
Cluster computing
Cluster computingCluster computing
โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์
panomkon
 
Panic! at the Disco
Panic! at the Disco Panic! at the Disco
Panic! at the Disco
Alarmclock24
 
NYCC 2014 (Bionicle)
NYCC 2014 (Bionicle)NYCC 2014 (Bionicle)
NYCC 2014 (Bionicle)
rusbionicle
 
From Objective-C to Swift
From Objective-C to SwiftFrom Objective-C to Swift
From Objective-C to Swift
Pablo Villar
 
Writing a REST Interconnection Library in Swift
Writing a REST Interconnection Library in SwiftWriting a REST Interconnection Library in Swift
Writing a REST Interconnection Library in Swift
Pablo Villar
 
What Swift can teach us all
What Swift can teach us allWhat Swift can teach us all
What Swift can teach us all
Pablo Villar
 
Brainstormers astro quiz prelims answer
Brainstormers astro quiz  prelims answerBrainstormers astro quiz  prelims answer
Brainstormers astro quiz prelims answer
Farzan Kuttan
 
โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์panomkon
 
Android application development company in chennai
Android application development company in chennaiAndroid application development company in chennai
Android application development company in chennai
edsseo
 
Little lessons learned from Swift
Little lessons learned from SwiftLittle lessons learned from Swift
Little lessons learned from Swift
Pablo Villar
 
Mavropoulos theofanis
Mavropoulos theofanisMavropoulos theofanis
Mavropoulos theofanis
Theofanis2014
 

Viewers also liked (20)

Li fi technology
Li fi technologyLi fi technology
Li fi technology
 
Cluster computing
Cluster computingCluster computing
Cluster computing
 
โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์
 
Panic! at the Disco
Panic! at the Disco Panic! at the Disco
Panic! at the Disco
 
NYCC 2014 (Bionicle)
NYCC 2014 (Bionicle)NYCC 2014 (Bionicle)
NYCC 2014 (Bionicle)
 
From Objective-C to Swift
From Objective-C to SwiftFrom Objective-C to Swift
From Objective-C to Swift
 
Tik 3
Tik 3Tik 3
Tik 3
 
Desigualdade social
Desigualdade socialDesigualdade social
Desigualdade social
 
Writing a REST Interconnection Library in Swift
Writing a REST Interconnection Library in SwiftWriting a REST Interconnection Library in Swift
Writing a REST Interconnection Library in Swift
 
Tik 2
Tik 2Tik 2
Tik 2
 
Caring
CaringCaring
Caring
 
Desigualdade social
Desigualdade socialDesigualdade social
Desigualdade social
 
What Swift can teach us all
What Swift can teach us allWhat Swift can teach us all
What Swift can teach us all
 
Brainstormers astro quiz prelims answer
Brainstormers astro quiz  prelims answerBrainstormers astro quiz  prelims answer
Brainstormers astro quiz prelims answer
 
Pie
PiePie
Pie
 
E4
E4E4
E4
 
โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์โครงการผู้บำเพ็ญประโยชน์
โครงการผู้บำเพ็ญประโยชน์
 
Android application development company in chennai
Android application development company in chennaiAndroid application development company in chennai
Android application development company in chennai
 
Little lessons learned from Swift
Little lessons learned from SwiftLittle lessons learned from Swift
Little lessons learned from Swift
 
Mavropoulos theofanis
Mavropoulos theofanisMavropoulos theofanis
Mavropoulos theofanis
 

Similar to Small catalytic p systems simulating register machines

Quantum Computing
Quantum ComputingQuantum Computing
Quantum Computing
t0pgun
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
AbhayGill3
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
TassianeNatany
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
ApdirahmanHassan
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
Raja Shekar
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
AjayRaj912848
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
raju980973
 
hddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdh
hddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdhhddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdh
hddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdh
zoobiarana76
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
Adnan kHAN
 
quantumComputers (1).ppt
quantumComputers (1).pptquantumComputers (1).ppt
quantumComputers (1).ppt
harithasahasra
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
TrushaKyada
 
quantumComputers.pptICICI-An HR perspective
quantumComputers.pptICICI-An HR perspectivequantumComputers.pptICICI-An HR perspective
quantumComputers.pptICICI-An HR perspective
BenjinkumarNimmala
 
Meeting w6 chapter 2 part 3
Meeting w6   chapter 2 part 3Meeting w6   chapter 2 part 3
Meeting w6 chapter 2 part 3Hattori Sidek
 
Modern Control - Lec 02 - Mathematical Modeling of Systems
Modern Control - Lec 02 - Mathematical Modeling of SystemsModern Control - Lec 02 - Mathematical Modeling of Systems
Modern Control - Lec 02 - Mathematical Modeling of Systems
Amr E. Mohamed
 
Continuous Systems To Discrete Event Systems
Continuous Systems To Discrete Event SystemsContinuous Systems To Discrete Event Systems
Continuous Systems To Discrete Event Systems
ahmad bassiouny
 
MES_MODULE 2.pptx
MES_MODULE 2.pptxMES_MODULE 2.pptx
MES_MODULE 2.pptx
Shivakumar M
 
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELS
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELSTEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELS
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELS
VLSICS Design
 
Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...
Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...
Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...
VLSICS Design
 
Digital logic and microprocessors
Digital logic and microprocessorsDigital logic and microprocessors
Digital logic and microprocessors
Milind Pelagade
 
State space analysis.pptx
State space analysis.pptxState space analysis.pptx
State space analysis.pptx
RaviMuthamala1
 

Similar to Small catalytic p systems simulating register machines (20)

Quantum Computing
Quantum ComputingQuantum Computing
Quantum Computing
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
hddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdh
hddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdhhddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdh
hddhdhdhdhdhdhdhdhdhddhddhdhdhdhddhdhdddhdhdh
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers (1).ppt
quantumComputers (1).pptquantumComputers (1).ppt
quantumComputers (1).ppt
 
quantumComputers.ppt
quantumComputers.pptquantumComputers.ppt
quantumComputers.ppt
 
quantumComputers.pptICICI-An HR perspective
quantumComputers.pptICICI-An HR perspectivequantumComputers.pptICICI-An HR perspective
quantumComputers.pptICICI-An HR perspective
 
Meeting w6 chapter 2 part 3
Meeting w6   chapter 2 part 3Meeting w6   chapter 2 part 3
Meeting w6 chapter 2 part 3
 
Modern Control - Lec 02 - Mathematical Modeling of Systems
Modern Control - Lec 02 - Mathematical Modeling of SystemsModern Control - Lec 02 - Mathematical Modeling of Systems
Modern Control - Lec 02 - Mathematical Modeling of Systems
 
Continuous Systems To Discrete Event Systems
Continuous Systems To Discrete Event SystemsContinuous Systems To Discrete Event Systems
Continuous Systems To Discrete Event Systems
 
MES_MODULE 2.pptx
MES_MODULE 2.pptxMES_MODULE 2.pptx
MES_MODULE 2.pptx
 
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELS
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELSTEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELS
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELS
 
Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...
Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...
Test Generation for Analog and Mixed-Signal Circuits Using Hybrid System Mode...
 
Digital logic and microprocessors
Digital logic and microprocessorsDigital logic and microprocessors
Digital logic and microprocessors
 
State space analysis.pptx
State space analysis.pptxState space analysis.pptx
State space analysis.pptx
 

Recently uploaded

Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024
Massimo Talia
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Dr.Costas Sachpazis
 
DESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docxDESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docx
FluxPrime1
 
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
thanhdowork
 
AP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specificAP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specific
BrazilAccount1
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
Amil Baba Dawood bangali
 
road safety engineering r s e unit 3.pdf
road safety engineering  r s e unit 3.pdfroad safety engineering  r s e unit 3.pdf
road safety engineering r s e unit 3.pdf
VENKATESHvenky89705
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
R&R Consult
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
gerogepatton
 
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdfTop 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Teleport Manpower Consultant
 
Gen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdfGen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdf
gdsczhcet
 
Investor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptxInvestor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptx
AmarGB2
 
Fundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptxFundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptx
manasideore6
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
SupreethSP4
 
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang,  ICLR 2024, MLILAB, KAIST AI.pdfJ.Yang,  ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
MLILAB
 
ASME IX(9) 2007 Full Version .pdf
ASME IX(9)  2007 Full Version       .pdfASME IX(9)  2007 Full Version       .pdf
ASME IX(9) 2007 Full Version .pdf
AhmedHussein950959
 
space technology lecture notes on satellite
space technology lecture notes on satellitespace technology lecture notes on satellite
space technology lecture notes on satellite
ongomchris
 
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdfHybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
fxintegritypublishin
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
AafreenAbuthahir2
 

Recently uploaded (20)

Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
 
DESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docxDESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docx
 
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
 
AP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specificAP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specific
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
 
road safety engineering r s e unit 3.pdf
road safety engineering  r s e unit 3.pdfroad safety engineering  r s e unit 3.pdf
road safety engineering r s e unit 3.pdf
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
 
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdfTop 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
 
Gen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdfGen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdf
 
Investor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptxInvestor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptx
 
Fundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptxFundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptx
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
 
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang,  ICLR 2024, MLILAB, KAIST AI.pdfJ.Yang,  ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
 
ASME IX(9) 2007 Full Version .pdf
ASME IX(9)  2007 Full Version       .pdfASME IX(9)  2007 Full Version       .pdf
ASME IX(9) 2007 Full Version .pdf
 
space technology lecture notes on satellite
space technology lecture notes on satellitespace technology lecture notes on satellite
space technology lecture notes on satellite
 
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdfHybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
 

Small catalytic p systems simulating register machines

  • 1. Small(purely) Catalytic P systems simulating register machine Authored by petr sosik,Miroslav langer PRESENTED BY MUDHIGONDA,VENKAT SAI SHARATH CHANDRA FOR THE COURSE CS5813 FORMAL LANGUAGES 11/22/2016
  • 2. Table of Contents  Introduction  Definitions  P systems simulation in different modes  P systems Generating a Non-Semilineaar set  Conclusion
  • 3. INTRODUCTION  P System is an abstract computing model inspired by the behavior of membranes in living cells, active transport of molecules,catalyzed reactions etc.  Catalyst is a substance that increases the rate of a chemical reaction without itself undergoing any permanent chemical change.  Catalyst cannot change during the reaction and they cannot travel between regions
  • 4. Difference between Small and purely catalytic Systems Small Catalytic P Systems  Small Catalytic P System consists of difference natural behaviors including catalytic reactions  Two catalyst are required to prove them as Turing –computable Purely Catalytic P Systems  Purely catalytic P system only involves catalyzed reactions  Three catalyst are required to prove them as Turing-Computable
  • 5. What is Register Machine?  In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent.  In contrast to the tape and head used by a Turing machine, the model uses multiple, uniquely addressed registers, each of which holds a single positive integer.  Two catalyst are enough to simulate any register machine with two decrementable register which , in turn can compute any Turing-Computable function.
  • 6. Basic idea  P systems in different computing modes can only compute semilinear sets  Non-Semilinear set is set of integers or tuple of integers constructed in such a way that they do not follow any sequence(like arthmetic progression)  The P system with catalyst proved to have computational completeness but there was no example of cataysts generating a non- Semilinear set
  • 7. Definitions  By N we denote the set of all nonnegative integers, NRE denotes the class of all recursively enumerable sets of non negative integers  PsRE the class of all recursively enumerable vectors of nonnegative integers. For a finite set of symbolsV, by V∗  we denote the set of all strings consisting of letters from V, including the empty string.  Following the notation , for integers m ≥2and k, lsuch that 1 ≤k, l ≤m, we define
  • 8. Definitions  A register machine is a tuple M=(m,H,lo,lh,I), where: • m is the number of registers; • H is the set of labels of instructions; • lo is the label of the initial instruction; • lh is the label of the final (halting) instruction; • I is the program, i.e., a set of instructions labeled in a one-to-one manner by the elements of H.
  • 9. Register Instructions  The instruction types are: • (ADD(r),i,j)– add 1 to the contents of register r and choose non-deterministically to continue with the instruction labeled i or j ; if the machine is deterministic, then the instruction adopts the form (ADD(r),i); • (SUB(r),i,j)– if the contents of the register r is nonzero, then subtract 1 from it and continue with instruction i, else continue with instruction j; • HALT– halt the machine.
  • 10. Catalytic P system  Acatalytic P systemof degree m ≥1is a construct • 𝝅 =(O,C,μ,w1,...,wm,R1,...,Rm,i0) • where: • O is the alphabet of objects; • C ⊆ Ois the alphabet of catalysts; • μ is a membrane structure of degree m with membranes labeled in a one-to-one manner with the natural numbers 1, 2, ..., m; • w1, ..., wm ∈ O∗ are strings representing multisets of objects initially present in the m regions of μ; • Ri, 1 ≤i ≤m, are finite sets of evolution rules over O associated with the regions 1, 2, ..., mof μ; these evolution rules are of the forms ca →cv or a →v, where c is a catalyst, a is an object from O −C, and vis a string from ((O −C) ×{here, out, in})∗; • I0 ∈ {0, 1, ..., m} indicates the output region of 𝝅.
  • 11. Catalytic P Systems in Generating mode  Here # is called trap symbol  # is used to when two objects are in same state and need a catalyst to complete the reaction  # is also used when an wrong step is chosen non deterministically such that the process never halts Rules for trap symbol Rules for add instruction Rules for sub instruction
  • 12. Simulation of ADD instruction  An ADD-instruction j :(ADD(r), k, l) ∈ I is simulated by the no n-deterministic choice of one of the rules  c1p̃j→c1pkd2or  c1p̃j→c1pld2or  Simultaneously, the rule c2d→c2is executed in order to keep the catalyst c2busy.  If this catalyst instead acts in the rule c2o2→c2d2 then in the next step there are two objects d2and at least one is subject to the rule d2→#, introducing the trap symbol #.
  • 13. simulation of SUB instructions
  • 14. Simulation of HALT instruction  The instruction lh:(HALT)is simulated without using any special objects or rules of the P system. We simply modify each previously described rule producing the symbol plhby replacing this object at the right-hand side of the rule by d1. When such a rule is executed, the P systems finally halts with both simulated registers r1and r2being empty
  • 15. Result  Cataltyic P systems halt these instructions after following rules  |R| ≤ 3nA + 6nS + 11 for catalytic Psystems,  |R| ≤ 3nA + 6nS + 13 for purely catalyticP systems • where nA and nS is the number of instructions ADD and SUB, respectively
  • 16. Catalytic P Systems in Computing mode  In this mode there are ‘r’ number of catalysts which can decrement with associated r registers  Here ADD instructions are simulated deterministically  j : (ADD(r),k) ∈ I  SUB instructions are guessed non- determinstically
  • 17. Simulation of SUB instructions  When the wrong step is chosen non-deterministically # is introduced  The correct steps of simulation results in halting of instructions else the computation cannot produce any result  If there are any undesired rules catalysts are kept busy in other auxiliary rules
  • 18. Result  Catalytic P system can achieve its result in following rules  |R| ≤ 2nA+6nS+5m+1.  By using generalized register machine we can reduce the result to  |R| ≤ 6nS + 5m +1 for catalytic P systems,  |R| ≤ 6nS + 6m + 1 forpurely catalytic P systems.  In similar manner Catalytic P systems in accepting mode can be achieved in following rules  |R| ≤ 2nA+6nS+5m+1.
  • 19. Catalytic P systems generating Semilinear sets  Consider a non-deterministic register machine with three registers generating the set {2n −2n | n ≥2}. The machine starts with all registers empty and it runs the following program which stores the result in register 3
  • 20. Catalytic P systems generating Semilinear sets  The register machine program described works as follows: • The contents of register 1 is emptied and duplicated to register 2 • then the contents of register 2 is copied to register 1 and added to register 3 . • Finally, the only non-deterministic instruction ADD labeled 7 increments register 1 and it decides non- deterministically whether the computation continues or whether it halts. • The whole cycle is repeated until a jump to the instruction HALT is chosen non-deterministically.
  • 21. GENERALISED REGISTER MACHINE INSTRUCTIONS  we can express the program given above with generalized SUB-instructions 1: (SUB(1),ADD(2)ADD(2) 1,2) 2: (SUB(2),ADD(1)ADD(3)2,ADD(1)3) 3: HALT
  • 22. CONCLUSION  The paper was hard to understand in the beginning. So, I have started reading the relevant papers to get idea of P systems  This paper proves Universal Completeness of P systems by computing non- semilinear sets  The author utilizes catalyst which are equal to no off register machines in computing mode but the paper states that they use only two catalysts