On sentence membership problem in context-sensitive languages
Journal Title: Computer Science and Mathematical Modelling - Year 2017, Vol 0, Issue 5
Abstract
A new type of graph is introduced, the grammar graph. The possibility of assigning labels to each node in such a graph extends it to the grammar net. The grammar net should be considered as a new graphical tool that helps in an analysis of whether a particular sentence belongs to a given context-sensitive grammar. Another concept, the derivation net, closely related to the grammar graph and of a similar structure, will be used to show an algorithm that is able to decide that some sentences do not belong to a language generated by a context sensitive grammar, while leaving others as a candidate members of it.
Authors and Affiliations
Paweł Ryszawa
Keywords
Related Articles
- EP ID EP231035
- DOI 10.5604/01.3001.0010.5520
- Views 98
- Downloads 0
GUARDIAN - Emergency Response System with Incremental Information Delivery Model
The main goal of this article is to show concepts of developing Emergency Response Systems (ERS), which withstands to the modern way of thinking about threat notification. It is also showed an idea of an incremental info...
Problem eliminowania fałszywych alarmów w komputerowych systemach ochrony peryferyjnej
W artykule rozpatruje się problem ochrony obiektów powierzchniowych za pomocą komputerowego systemu ochrony peryferyjnej, sterującego ochroną utworzoną w postaci barykady z wmontowanymi w nią czujkami naciągowymi. Analiz...
Giełda jako gra z continuum graczy
W artykule przedstawiono możliwość wykorzystania teorii gier z continuum graczy w modelowaniu zachowań graczy na giełdzie. Dokonano pierwszej próby opracowania modelu giełdy w oparciu o teorie gier z continuum graczy. Ar...
Własności bezsiatkowej metody symulacji dyfuzji ze źródła skończonego
W pracy przedstawiono analizę właściwości algorytmu numerycznego symulacji dyfuzji ze źródła skończonego opartego o bezsiatkową metodę numeryczną. Wykazano zależności czasowe symulacji oraz przedstawiono błędy symulacji....
A concept of standard-based vulnerability management automation for IT systems
The paper focuses on the attempt to show a way of automating IT vulnerability management across enterprise systems with the use of the Security Content Automation Protocol. SCAP offers a set of components which provide,...