Wyniki wyszukiwania - BazTech

1

Copyful Streaming String Transducers

Filiot Emmanuel, Reynier Pierre-Alain

Fundamenta Informaticae

|

2021

|

Vol. 178, nr 1/2

59--76

EN

Copyless streaming string transducers (copyless SST) have been introduced by R. Alur and P. Černý in 2010 as a one-way deterministic automata model to define transductions of finite strings. Copyless SST extend deterministic finite state automata with a set of variables in which to store intermediate output strings, and those variables can be combined and updated all along the run, in a linear manner, i.e., no variable content can be copied on transitions. It is known that copyless SST capture exactly the class of MSO-definable string-to-string transductions, and are as expressive as deterministic two-way transducers. They enjoy good algorithmic properties. Most notably, they have decidable equivalence problem (in PSpace ). On the other hand, HDT0L systems have been introduced for a while, the most prominent result being the decidability of the equivalence problem. In this paper, we propose a semantics of HDT0L systems in terms of transductions, and use it to study the class of deterministic copyful SST. Our contributions are as follows:(i) HDT0L systems and total deterministic copyful SST have the same expressive power, (ii) the equivalence problem for deterministic copyful SST and the equivalence problem for HDT0L systems are inter-reducible, in quadratic time. As a consequence, equivalence of deterministic SST is decidable, (iii) the functionality of non-deterministic copyful SST is decidable, (iv) determining whether a non-deterministic copyful SST can be transformed into an equivalent non-deterministic copyless SST is decidable in polynomial time.

2

Chmura pojęciowa wybranych definicji logistyki rynkowej

Ficoń Krzysztof

Systemy Logistyczne Wojsk

|

2017

|

Vol. 46, no.1

35--50

PL

W pracy wykorzystano koncepcje tzw. chmury pojęciowej do analizy wyselekcjonowanego zbioru definicji terminu „logistyka”. W tym celu zebrano ponad 60 różnych definicji logistyki, dla których zostały wyspecyfikowane pewne, umowne słowa kluczowe. Przy pomocy specjalnej aplikacji internetowej zbadano statystykę występowania poszczególnych słów kluczowych, a uzyskane wyniki zostały zobrazowane graficznie w strukturze symbolicznej chmury. Odpowiednie statystyki mogą być wykorzystane także do automatycznego budowania nowych definicji, w tym przypadku pojęcia logistyki.

EN

The conceptual cloud concepts were used in the paper to analyze the selected set of definitions of the term "logistics". To this end, more than 60 different definitions of logistics have been collected for which certain contractual terms have been specified. With a special web-based application, statistics on the occurrence of individual keywords were analyzed, and the results were graphically represented in the symbolic structure of the cloud. Appropriate statistics can also be used to automatically build new definitions, in this case logistic concepts.

3

Review of advanced tools for creating web sites

Barczak A., Rozbicki Ł.

Studia Informatica : systems and information technology

|

2008

|

Vol. 2(11)

27--35

EN

Present article shows characteristic of advanced tools which are used to create and to manage web sites. Their short characteristic will be introduced and some of them will be presented closer. Tools, which will be mentioned are mostly CMS (Content Management System) systems, that is systems available from common internet web browsers. Tools that use WYSIWYG (What You See Is What You Get) editors will be also presented, so will be tools that are applications installed on users workstations. Article finishes with attempt to show directions of development of CMS systems and with short summary related to presented tools.