Wyniki wyszukiwania - BazTech

1

Gramatyki formalne dla prostych wyrażeń arytmetycznych

Brzeski Robert

MINUT Matematyka i Informatyka na Uczelniach Technicznych

|

2021

|

Nr 3

245-254

PL

W procesie dydaktycznym dotyczącym gramatyk formalnych, jednym z często używanych przykładów jest definiowanie gramatyki dla wyrażeń algebraicznych. W rozwiązaniach generujących reguły tworzenia słów, uwzględnia się priorytet wykonywania poszczególnych działań algebraicznych. W bieżącym artykule przedstawiono kilka takich rozwiązań, a następnie zaproponowano rozwiązania generujące taki sam język, ale w postaci mniejszej liczby reguł generujących słowa. Zrealizowano to poprzez pominięcie w regułach zdefiniowanej gramatyki informacji o priorytetach działań algebraicznych. W ten sposób przedstawiono możliwość znacznego uproszczenia zdefiniowanej gramatyki, która bardzo często przedstawiana jest studentom, przy okazji omawiania języków i gramatyk formalnych.

2

Znaczenie rysunku. Rysunek jako środek poszukiwania formy

Rożnowska-Jasiewicz Agnieszka

Architectus

|

2019

|

Nr 3 (59)

33--40

PL

W artykule przedstawiono wzrost znaczenia rysunku wraz z rozwojem człowieka i jego percepcji wzrokowej. Omówiono, jak istotnym narzędziem stał się alfabet rysunkowy wykorzystywany do rejestracji obrazu oraz jak zmieniał się na przestrzeni wieków stosunek artystów i odbiorców do rysunku. W tekście ukazano rangę tej dyscypliny na przykładach z dzisiejszych i minionych czasów. W wyniku prowadzonych obserwacji i ćwiczeń rysunkowych stwierdzono, że połączenia neuronowe wykorzystywane w akcie myślenia rysunkiem rozwijają i poszerzają pole percepcji wzrokowej. Doświadczenie zawodowe i dokonane obserwacje dowiodły, że współczesny świat, w którym żyjemy na co dzień, komunikuje poprzez różne media, jednak najsprawniejszym i najbliższym ludzkim umiejętnościom jest rysunek – graficzny sposób wyrażania myśli.

EN

The article presents the importance of drawing along with the development of man and his visual perception. It was discussed how important the drawing alphabet used to register the image became and how the attitude of artists and recipients to drawing has changed over the centuries. The text shows the rank of this discipline using examples from today and from the past. As a result of observations and drawing exercises, it was found that the neural connections used in the act of thinking by drawing develop and expand the field of visual perception. Professional experience and observations have shown that the modern world in which we live every day communicates through various media, however, the most efficient and closest to human skills is – drawing, the graphic way of expressing thoughts.

3

The Number of Distinct Subpalindromes in Random Words

Rubinchik M., Shur A. M.

Fundamenta Informaticae

|

2016

|

Vol. 145, nr 3

371--384

EN

We prove that a random word of length n over a k-ary fixed alphabet contains, on expectation,Θ(√n) distinct palindromic factors. We study this number of factors, E(n, k), in detail, showing that the limit limn→∞ E(n, k)=√n does not exist for any κ ≥ 2, lim infn→∞ E(n; k)=√n =Θ(1), and lim supn→∞ E(n; k)=√n = Θ(√k). Such a complicated behaviour stems from the asymmetry between the palindromes of even and odd length. We show that a similar, but much simpler, result on the expected number of squares in random words holds. We also provide some experimental data on the number of palindromic factors in random words.

4

Logical Theory of the Monoid of Languages over a Non Tally Alphabet

Choffrut C., Grigorieff S.

Fundamenta Informaticae

|

2015

|

Vol. 138, nr 1/2

159--177

EN

We consider the first-order theory of the monoid P(A*) of languages over a finite or infinite alphabet A (with at least two letters) endowed solely with concatenation lifted to sets: no set theoretical predicate or function, no constant. Coding a word u by the submonoid u* it generates, we prove that the operation (u*, v*) → (uv)* and the predicate {(u*,X) | ε ∈ X, u ∈ X} are definable in P(A*); •,=i. This allows to interpret the second-order theory of A*; •,=i in the first-order theory of P(A*); •,=i and prove the undecidability of the Π8 fragment of this last theory. These results involve technical difficulties witnessed by the logical complexity of the obtained definitions: the above mentioned predicates are respectively Δ5 and Δ7.

5

Analiza porównawcza algorytmów wyszukiwania wzorca w tekście

Widuch J.

Studia Informatica

|

2013

|

Vol. 34, nr 1

5--29

PL

Jednym z problemów związanych z przetwarzaniem tekstów jest problem wyszukiwania wzorca w tekście, którego celem jest wyznaczenie wszystkich wystąpień w zadanym tekście innego tekstu, zwanego wzorcem. W niniejszej pracy dokonano analizy porównawczej istniejących algorytmów wyszukiwania wzorca w tekście, przy czym kryterium porównawczym jest czas wyszukiwania wzorca. Wyniki przeprowadzonych badań zamieszczono w pracy.

EN

One of the text processing problems is the pattern matching problem. The goal of the problem is to find all places where one text or string, called pattern, is found within the given text. In this paper, a comparative analysis of existing string matching algorithms is presented, and the comparison criterion is the time of searching the pattern in the text. The results of the tests are also presented.

6

Combinatorics of Unique Maximal Factorization Families (UMFFs)

Daykin D.E., Daykin J.W., Smyth W.F. (Bill)

Fundamenta Informaticae

|

2009

|

Vol. 97, nr 3

295-309

EN

Suppose a set W of strings contains exactly one rotation (cyclic shift) of every primitive string on some alphabet Σ. Then W is a circ-UMFF if and only if every word in Σ+ has a unique maximal factorization over W. The classic circ-UMFF is the set of Lyndon words based on lexicographic ordering (1958). Duval (1983) designed a linear sequential Lyndon factorization algorithm; a corresponding PRAMparallel algorithmwas described by J. Daykin, Iliopoulos and Smyth (1994). Daykin and Daykin defined new circ-UMFFs based on various methods for totally ordering sets of strings (2003), and further described the structure of all circ-UMFFs (2008). Here we prove new combinatorial results for circ-UMFFs, and in particular for the case of Lyndon words. We introduce Acrobat and Flight Deck circ-UMFFs, and describe some of our results in terms of dictionaries. Applications of circ-UMFFs pertain to structured methods for concatenating and factoring strings over ordered alphabets, and those of Lyndon words are wide ranging and multidisciplinary.

7

Model tekstowy danych graficznych i możliwości jego zastosowania w fotogrametrii cyfrowej

Żarnowski A.

Archiwum Fotogrametrii, Kartografii i Teledetekcji

|

2004

|

Vol. 15

49--55

PL

W wyniku badań prowadzonych w latach 60-90 XX wieku opracowano rastrowy i wektorowy model danych graficznych, które najczęściej są wykorzystywane w grafice komputerowej, kartografii, fotogrametrii cyfrowej oraz SIP. Wady i zalety każdego z tych modeli są znane i opisane w wielu publikacjach, również jako możliwości ich wykorzystywania w technologiach cyfrowych zastosowanych w kartografii, SIP i fotogrametrii. Analizując nowoczesne technologie cyfrowe w geodezji, kartografii, fotogrametrii i SIP można stwierdzić, że procesy pozyskiwania, zapisywania, przechowywania, transferu, analiz i wykorzystania danych graficznych są nadal skomplikowane i pracochłonne. W artykule opisano wyniki badań prowadzonych przez autora, które dotyczą: modelu tekstowego obrazu graficznego, formatu zapisywania obrazu tekstowego.