Path-Bounded One-Way Multihead Finite Automata(<Special Section>Foundations of Computer Science)
スポンサーリンク
概要
- 論文の詳細を見る
For each positive integer r ≥ 1, a nondeterministic machine M is r path-bounded if for any input word x, there are r computation paths of M on x. This paper investigates the accepting powers of pathbounded one-way (simple) multihead nondeterministic finite automata. It is shown that for each k ≥ 2 and r ≥ 1, there is a language accepted by an (r + 1) path-bounded one-way nondeterministic k head finite automaton, but not accepted by any r path-bounded one-way nondeterministic k head finite automaton whether or not simple.
- 社団法人電子情報通信学会の論文
- 2005-01-01
著者
-
Inoue Katsushi
The Department Of Computer Science And Systems Engineering Faculty Of Engineering Yamaguchi Universi
-
Inoue K
The Department Of Computer Science And Systems Engineering Faculty Of Engineering Yamaguchi Universi
-
Wang Y
Media And Information Technology Center Yamaguchi University
-
Wang Yue
Faculty Of Engineering Yamaguchi University
-
Ito A
The Department Of Computer Science And Systems Engineering Faculty Of Engineering Yamaguchi Universi
-
Ito Akira
Dep. Of Chemical Engineering Fac. Of Engineering Kyushu Univ. 744 Motooka Nishi-ku Fukuoka 819-0395
-
Inoue Katsushi
Department Of Electronics Engineering
-
INOUE Satoshi
Hitachi Ltd.
-
ITO Akira
the Department of Computer Science and Systems Engineering, Faculty of Engineering, Yamaguchi Univer
-
WANG Yue
Media and Information Technology Center, Yamaguchi University
-
Ito A
Kyorin Pharmaceutical Co. Ltd.
-
Ito Akira
Department Of Biochemistry School Of Pharmacy Tokyo University Of Pharmacy And Life Science
-
Ito Akira
The Department Of Computer Science And Systems Engineering Faculty Of Engineering Yamaguchi Universi
-
Ito Akira
1st Laboratory Of Soil And Fertilizer Environment Division Chugoku National Agricultural Experiment
関連論文
- Non-closure Property of One-Pebble Turing Machines with Sublogarithmic Space(Discrete Mathematics and Its Applications)
- The Citrus Flavonoid, Nobiletin, Inhibits Peritoneal Dissemination of Human Gastric Carcinoma in SCID Mice
- Nobiletin (citrus flavonoid) inhibits the production of MMP-9 and peritoneal metastasis of gastric carcinoma in SCID mice
- FRS-020 Reconstitution of cardiac pacemaker sheets by the patterning of cell alignment using magnetic nanoparticles(New Insights into Basic Mechanism of Arrhythmia(A),Featured Research Session,The 72nd Annual Scientific Meeting of the Japanese Circulation
- Mag-Seeding of Rat Bone Marrow Stromal Cells into Porous Hydroxyapatite Scaffolds for Bone Tissue Engineering(CELL AND TISSUE ENGINEERING)
- Effective Cell-Seeding Technique Using Magnetite Nanoparticles and Magnetic Force onto Decellularized Blood Vessels for Vascular Tissue Engineering(CELL AND TISSUE ENGINEERING)
- MEK1/2 and PKC β II/ε Are Target Molecules for Nobiletin-Induced Suppression of ProMMP Production and Augmentation of TIMP-1 Production in HT-1080 Cells
- Identification of HLA-A24-Restricted Epitopes with High Affinities to Hsp70 Using Peptide Arrays(METHODS)
- Discoordinate Regulation of Expression of Matrix Metalloproteinases and Tissue Inhibitor of Metalloproteinases-3 in Bovine Endometrial Stromal Cells on Type-I Collagen Gel
- Progression of Pericellular Proteolysis by EMMPRIN-bound Active Matrix Metalloproteinase 1 on the Surface of Tumor Cells
- An Antiprogesterone, Onapristone, Enhances the Gene Expression of Promatrix Metatloproteinase 3/Prostromelysin-1 in the Uterine Cervix of Pregnant Rabbit
- Inhibition of AP-1 binding activity and phosphatidylinositol 3-kinase pathway by nobiletin, a polymethoxy flavonoid, results in augmentation of TIMP-1 production and suppression of production of MMPs-1 and -9 in human fibrosarcoma HT-1080 cell
- Involvement of EMMPRIN/CD147 in pericellular proteolysis by augmenting the production of MMP-1 and localization of MMP-1 on tumor cell surface
- Separation of Aromatic Hydrocarbons from Gasoline Vapor by Vapor Permeation through Triethylene Glycol Liquid Membrane
- Separation of Benzene/Cyclohexane by Vapor Permeation through Triethylene Glycol Liquid Membrane
- OE-424 Patterned Cell Alignment Using Magnetite Nanoparticles to Prevent Arrhythmogenicity of Skeletal Myoblast Transplantation(OE72,Arrhythmia, Mechanism (A),Oral Presentation (English),The 73rd Annual Scientific Meeting of The Japanese Circulation Socie
- Incorporation of Capillary-Like Structures into Dermal Cell Sheets Constructed by Magnetic Force-Based Tissue Engineering
- Application of Ultra-Water-Repellent Surface to Cell Culture(CELL AND TISSUE ENGINEERING)
- Heat Immunotherapy Using Magnetic Nanoparticles and Dendritic Cells for T-Lymphoma(MEDICAL BIOTECHNOLOGY, Advances in Biomedical Science and Engineering)
- Screening of Cytokines to Enhance Vaccine Effects of Heat Shock Protein 70-Rich Tumor Cell Lysate(MEDICAL BIOTECHNOLOGY, Advances in Biomedical Science and Engineering)
- Medical Application of Functionalized Magnetic Nanoparticles(Advances in Biomedical Science and Engineering)
- Complete Regression of Mouse Mammary Carcinoma with a Size Greater than 15 mm by Frequent Repeated Hyperthermia Using Magnetite Nanoparticles
- Selective hyperthermia using magnetoliposomes to target cervical lymph node metastasis in a rabbit tongue tumor model
- Proliferation and Stratification of Keratinocyte on Cultured Amniotic Epithelial Cells for Tissue Engineering(MEDICAL BIOTECHNOLOGY)
- Tumor regression by combined immunotherapy and hyperthermia using magnetic nanoparticles in an experimental subcutaneous murine melanoma
- Transglutaminase-Mediated Gelatin Matrices Incorporating Cell Adhesion Factors as a Biomaterial for Tissue Engineering
- Radiation-Inducible TNF-α Gene Expression under Stress-Inducible Promoter gadd 153 for Cancer Therapy
- Bystander-Killing Effect and Cyclic Induction of TNF-α Gene under Heat-Inducible Promoter gadd 153
- Path-Bounded One-Way Multihead Finite Automata(Foundations of Computer Science)
- Some Properties on Input Head Reversal-Bounded Two-Dimensional Turing Machines (Special Issue on Selected Papers from LA Symposium)
- Self-Verifying Nondeterministic and Las Vegas Multihead Finite Automata (Special Section on Discrete Mathematics and Its Applications)
- A Note on Sensing Semi-One-Way Simple Multihead Finite Automata (Special lssue on Selected Papers from LA Synposium)
- A Relationship between Two-Way Deterministic One-Counter Automata and One-Pebble Deterministic Turing Machines with Sublogarithmic Space
- Alternating Rebound Turing Machines (Special Section on Discrete Mathematics and Its Applications)
- On the Sensing Function of One-Way Simple Multihead Finite Automata
- A Note on Probabilistic Rebound Automata
- Identification of mutations in the Bruton's tyrosine kinase gene, including a novel genomic rearrangements resulting in large deletion, in Korean X-linked agammaglobulinemia patients
- Some Observations Concerning Alternating Pushdown Automata with Sublogarithmic Space
- On Multi-Inkdot Two-Way Alternating Turing Machines and Pushdown Automata with Sublogarithmic Space and Constant Leaf-Size
- A Note on Alternating Pushdown Automata with Sublogarithmic Space
- A Note on One-way Auxiliary Pushdown Automata
- A Note on Alternating Pushdown Automata With Sublogarithmic Space
- Inkdot versus Pebble over Two-Dimensional Languages
- Bahiensol, a New Glycerolipid from a Cultured Myxomycete Didymium bahiense var. bahiense
- Formation of Fruit Bodies of Myxomycetes Genus Didymium in Plate Cultures and Identification of Glucoclionasterol from Didymium minus
- 4-S-Cysteaminylphenol-loaded magnetite cationic liposomes for combination therapy of hyperthermia with chemotherapy against malignant melanoma
- Video file system
- A modified algorithm for taking reciprocal of n-bit integers
- Leaf-Size Bounded Real-Time Synchronized Alternating One-Way Multicounter Machines
- Closure properties of alternating one-way multihead finite automata with constant leaf-sizes
- A note on synchronized alternating Turing machines with small space bounds
- Alternating multihead finite automata with constant leaf-sizes
- A note on reversal complexities of real-time counter machines
- Alternating one-way multihead Turing machines with only universal states
- A note on multihead on-line turing machines
- A Linear-Time Normalization of One-Dimensional Quadtrees
- On Simple One-Way Multihead Pushdown Automata
- Sensing Two-Way Three Heads are Better than Two
- Neurocysticercosis without Detectable Specific Antibody
- A Note on Alternating Multi-Counter Automata with Small Space
- Multihead Finite Automata with Markers (Special Section on Discrete Mathematics and Its Applications)
- A Note on One-Way Multicounter Machines and Cooperating Systems of One-Way Finite Automata
- Some Hierarchy Results on Multihead Automata over a One-Letter Alphabet
- Three-Way Two-Dimensional Deterministic Finite Automata with Rotated Inputs(Foundations of Computer Science)
- CHANGES OF WATER TEMPERATURE, pH, DISSOLVED OXYGEN, INORGANIC NITROGEN, AND PHOSPHORUS CONCENTRATIONS IN FLOWING IRRIGATION WATER ON PADDY SURFACE
- Fluctuations and Phase Transitions Far from Equilibrium : Reductive Perturbation Approach to Chemical Instabilities
- Reductive Perturbation Approach to the Fluctuation
- B-Lymphocytes are Elevated in Mouse Bone Marrow by Estrogen Deficiency, and Induce Receptor Activator of Nuclear Factor κB Ligand (RANKL) Expression in Osteoblasts via Cell Adhesion
- Melanoma-targeted chemo-thermo-immuno (CTI)-therapy using N-propionyl-4-S-cysteaminylphenol-magnetite nanoparticles elicits CTL response via heat shock protein-peptide complex release
- Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space
- Dietary Bisphenol A Suppresses the Growth of Newborn Pups by Insufficient Supply of Maternal Milk in Mice
- Eigenvalue Problem of Metastability in Macrosystem
- Stochastic Decay Process of Metastable State
- Formation of Fruit Bodies of Myxomycetes Genus Didymium in Plate Cultures and Identification of Glucoclionasterol from Didymium minus(Natural Medicine Note)
- Successive Subharmonic Bifurcations and Chaos in a Ninlinear Mathieu Equation
- Quantitative Measures of Modic Changes in Lumbar Spine Magnetic Resonance Imaging : Intra- and Inter-rater Reliability
- A Perturbation Theory of a Quasi-Periodic Motion : An Asymptotic Expansion Method
- Perturbation Theory of Self-Oscillating System with a Periodic Perturbation
- Inherited Heterozygous Protein C Deficiency and Dysfunctional Protein S with Recurrent Venous Thrombotic Diseases. A Study of Three Generations of a Japanese Family.
- ISSLS Prize Winner : Lumbar Vertebral Endplate Lesions : Associations With Disc Degeneration and Back Pain History