The relevance of the study is determined by the insufficient study of transition zones in the grammatical structure of the language. The focus is on the types of intersection of adverbial transposition of substantive word forms with other types of transposition. The purpose of the work is to consider the features and limit of transposition of nominative and accusative cases of nouns into adverbs in the contexts of "pure" adverbialization and combined with modality, pronominalization, particulation and interjection. The methods of structural and semantic analysis, linguistic experiment, elements of distributional, transformational and componential analysis are used. It is established that the forms of the nominative case of nouns such as pravda are capable of undergoing functional transposition into adverbs and modal words with the meaning of categorical reliability when used interpositively. It is also shown that the forms of the nominative and accusative cases of nouns can combine adverbial transposition with transposition into pronouns meaning an indefinite set (kapelku, kroshechku, chutochku, malost’ [a little]); into defining-clarifying particles (minimum, maximum); into emotive interjections (uzhas, strakh, zhut’ [How terrifying!]). It is concluded that these types of transpositions manifest themselves most often in the semantic zone of the original substantive lexemes, that is, in the sphere of grammar, and are not associated with word formation.
Slavic languages. Baltic languages. Albanian languages
In this paper, I will discuss a topic concerning part–whole structures in the nominal and verbal domain. Specifically, I will address the question of whether there is a universal mechanism for the individuation of entities and events by exploring parallels between singulatives and semelfactives in Slavic. Singulatives are derived unit nouns, whereas semelfactives are punctual verbs that describe a brief event which culminates by returning to the initial state. Cross-linguistically, singulative morphology often alternates with collective marking, whereas semelfactives alternate with iteratives. Collectives and iteratives describe homogenous groupings of entities and events, respectively. From a conceptual perspective, both singulatives and semelfactives individuate to the effect of singular bounded unit reference and in the literature, the parallel between the mass count/distinction and aspect has often been drawn. In Slavic, singulative and semelfactive morphologies share a component; specifically, both markers involve a nasal -n and a vocalic component, e.g., compare Russian gorox ‘peas (as a mass)’ ∼goroš-in-a ‘a pea’ and prygať ‘to jump (repeatedly)’ ∼ pryg-nu-ť ‘to jump once’. I will argue that the singulative -in and semelfactive -nu are complex and both involve the very same -n, which denotes a declustering atomizer modeled in mereotopological terms.
The paper introduces the development of a modular compiler for a subset of a C-like language, which addresses the challenges in constructing a compiler for high-level languages. This modular approach will allow developers to modify a language by adding or removing subsets as required, resulting in a minimal and memory-efficient compiler. The development process is divided into small, incremental steps, where each step yields a fully functioning compiler for an expanding subset of the language. The paper outlines the iterative developmental phase of the compiler, emphasizing progressive enhancements in capabilities and functionality. Adherence to industry best practices of modular design, code reusability, and documentation has enabled the resulting compiler's functional efficiency, maintainability, and extensibility. The compiler proved to be effective not only in managing the language structure but also in developing optimized code, which demonstrates its practical usability. This was also further assessed using the compiler on a tiny memory-deficient single-board computer, again showing the compiler's efficiency and suitability for resource-constrained devices.
Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. In their original definition, patterns only allow for multiple distinct occurrences of some variables to be related by the equality relation, represented by using the same variable multiple times. In an extended notion, called relational patterns and relational pattern languages, variables may be related by arbitrary other relations. We extend the ongoing investigation of the main decision problems for patterns (namely, the equivalence problem, the inclusion problem, and the membership problem) to relational pattern languages under a wide range of relevant individual relations, providing a comprehensive foundation in all three research directions.
When does a deterministic computational model define a probability distribution? What are its properties? This work formalises and settles this stochasticity problem for weighted automata, and its generalisation cost register automata (CRA). We show that checking stochasticity is undecidable for CRAs in general. This motivates the study of the fully linear fragment, where a complete and tractable theory is established. For this class, stochasticity becomes decidable in polynomial time via spectral methods, and every stochastic linear CRA admits an equivalent model with locally sub-stochastic update functions. This provides a local syntactic characterisation of the semantics of the quantitative model. This local characterisation allows us to provide an algebraic Kleene-Schutzenberger characterisation for stochastic languages. The class of rational stochastic languages is the smallest class containing finite support distributions, which is closed under convex combination, Cauchy product, and discounted Kleene star. We also introduce Stochastic Regular Expressions as a complete and composable grammar for this class. Our framework provides the foundations for a formal theory of probabilistic computation, with immediate consequences for approximation, sampling, and distribution testing.
The review is dedicated to the monography by Robin Feuer Miller, professor of Russian Literature and Comparative Literature at Brandeis University, Dostoevsky’s Unfinished Journey, translated into Russian in 2022. Miller’s book is written in the spirit of comparative studies and collects different essays about literary influences and intertextuality in Dostoevsky’s work.
Slavic languages. Baltic languages. Albanian languages
The paper completely characterizes the primality of acyclic DFAs, where a DFA $\mathcal{A}$ is prime if there do not exist DFAs $\mathcal{A}_1,\dots,\mathcal{A}_t$ with $\mathcal{L}(\mathcal{A}) = \bigcap_{i=1}^{t} \mathcal{L}({\mathcal{A}_i})$ such that each $\mathcal{A}_i$ has strictly less states than the minimal DFA recognizing the same language as $\mathcal{A}$. A regular language is prime if its minimal DFA is prime. Thus, this result also characterizes the primality of finite languages. Further, the $\mathsf{NL}$-completeness of the corresponding decision problem $\mathsf{PrimeDFA}_{\text{fin}}$ is proven. The paper also characterizes the primality of acyclic DFAs under two different notions of compositionality, union and union-intersection compositionality. Additionally, the paper introduces the notion of S-primality, where a DFA $\mathcal{A}$ is S-prime if there do not exist DFAs $\mathcal{A}_1,\dots,\mathcal{A}_t$ with $\mathcal{L}(\mathcal{A}) = \bigcap_{i=1}^{t} \mathcal{L}(\mathcal{A}_i)$ such that each $\mathcal{A}_i$ has strictly less states than $\mathcal{A}$ itself. It is proven that the problem of deciding S-primality for a given DFA is $\mathsf{NL}$-hard. To do so, the $\mathsf{NL}$-completeness of $\mathsf{2MinimalDFA}$, the basic problem of deciding minimality for a DFA with at most two letters, is proven.
Iona Thomas, Vincent Aranega, Stéphane Ducasse
et al.
In object-oriented languages, method visibility modifiers hold a key role in separating internal methods from the public API. Protected visibility modifiers offer a way to hide methods from external objects while authorizing internal use and overriding in subclasses. While present in main statically-typed languages, visibility modifiers are not as common or mature in dynamically-typed languages. In this article, we present ProtDyn, a self-send-based visibility model calculated at compile time for dynamically-typed languages relying on name-mangling and syntactic differentiation of self vs non self sends. We present #Pharo, a ProtDyn implementation of this model that is backwards compatible with existing programs, and its port to Python. Using these implementations we study the performance impact of ProtDyn on the method lookup, in the presence of global lookup caches and polymorphic inline caches. We show that our name mangling and double method registration technique has a very low impact on performance and keeps the benefits from the global lookup cache and polymorphic inline cache. We also show that the memory overhead on a real use case is between 2% and 13% in the worst-case scenario. Protected modifier semantics enforces encapsulation such as private but allow developers to still extend the class in subclasses. ProtDyn offers a VM-agnostic and backwards-compatible design to introduce protected semantics in dynamically-typed languages.
Abstract Slavic languages are commonly classified as SVO languages, with an exceptional property, though, namely an atypically extensive variability of word order. A systematic comparison of Slavic languages with uncontroversial SVO languages reveals, however, that exceptional properties are the rule. Slavic languages are ‘exceptional’ in so many syntactic respects that SVO appears to be a typological misnomer. This fact invites a fresh look. Upon closer scrutiny, it turns out that these languages are not exceptional, but regular members of a different type. They are representative of a yet unrecognised type of clause structure organisation. The dichotomy of ‘head-final’ and ‘head-initial’ does not exhaustively cover the system space of the make-up of phrases. In addition, there arguably exists a third option (T3). This is the type of phrasal architecture in which the head of the verb phrase is directionally unconstrained. It may precede, as in VO, it may follow, as in OV, and it may be sandwiched by its arguments within the phrase. From this viewpoint, the Slavic languages cease to be exceptional. They are regular representatives of the latter type, and, crucially, their collateral syntactic properties predictably match the properties of this type.
This study aims to account for the variation in aspect choices in factual imperfective contexts in Polish, Czech, and Russian. A series of online questionnaires were conducted wherein the native speakers of the tested languages were asked to fill in the missing verbs for two types of existential contexts (neutral and resultative) and four types of presuppositional factual contexts (weakly and strongly resultative with a focus on the initiator or the result state of the past event). We show that neutral existential factual contexts generally elicited significantly more imperfective choices than resultative existential factual contexts. Additionally, there was a trend towards a higher usage of imperfective in weakly resultative presuppositional contexts as compared to strongly resultative presuppositional contexts, suggesting that the less emphasis is placed on the result state the more likely the choice of imperfective aspect is for the expression of the temporal indefiniteness of factual contexts. Russian showed a significantly higher proportion of imperfective uses than Polish and Czech, with Czech being intermediate. We argue that these observations result from the fact that in all types of factual contexts (both existential and presuppositional) there is an interaction between two types of TEMPORAL (IN)DEFINITENESS of the past event: (i) temporal (in)definiteness at the micro-level (first phase syntax-vP) (depending on the position of the time variable within the temporal event of the past complex event) and (ii) (in)definiteness of the past event at the macro-level (second phase syntax–AspP and TP) (related to the position of the past event relative to the utterance time). We show that both discourse-level information and verb-level information interact in determining these two types of (in)definiteness, and they do it differently in Polish, Czech, and Russian.
The question of expanding the range of linguistic units involved as a linguo-didactic material is raised in the article. The purpose of the work is to substantiate the need to use such a category of proper names as nicknames in the framework of the Russian as a foreign language course. Illustrative material mainly includes well-known, culturally significant nicknames of historical and political figures, as well as modern informal names. The relevance of the research is ensured by the fact that the selection of anthroponyms as educational materials in teaching Russian as a foreign language is not typical for the current linguistic, linguo-cultural and socio-cultural situation. In particular, there is a contradiction between the negative attitude to nicknames established in the society and their real status in the Russian anthroponymic system. Due to the underestimation of the role of nicknames in the society, this type of anthroponyms is not represented in the didactic materials on Russian as a foreign language. However, it is advisable to introduce nicknames in teaching, since they have been a fact of the Russian linguistic and cultural space throughout its existence and meet all the basic approaches of modern Russian pedagogy: competence-based, meta-subject and axiological. The descriptive-analytical method was the leading research method in the article. Nicknames are considered as a category of anthroponyms. The author shows that nicknames are a fact of linguistic and social communication, a linguistic, socio-cultural and individual psychological phenomenon. Nicknames are multifunctional: they perform nominative, identifying, differentiating, individualizing, marking, emotive, axiological, and other functions. The teacher of Russian as a foreign language taking into account the relevance, cognitive significance and communicative value of nicknames; it is necessary to distinguish them from similar categories - pseudonyms and Internet nicknames. The adequacy of the selection will be facilitated by relying on the authors classification of nicknames. Nicknames provide rich material for mastering various linguistic topics properly and establishing meta-subject connections. This approach will make it possible to overcome the separation from reality to some extent, and to improve the quality of teaching Russian to foreigners, develop their competencies, improve their linguistic personality, and introduce them to Russian culture.
Slavic languages. Baltic languages. Albanian languages
This article examines the role played by Siberian underground musical phenomena in the development of rock and punk music in Russia, paying particular attention to the profile of Egor Letov and his relevant musical ventures. The authors situate the analysis within the broader framework of studies dealing with Russian rock music and Soviet underground culture in general and examine the hitherto insufficiently explored features that characterized the Siberian underground scene and enabled the emergence of original artists.
History of Eastern Europe, Slavic languages. Baltic languages. Albanian languages
Context: Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic programming has proven to be an effective means of constructing libraries of reusable software components in languages that support it. Generics-related language design choices play a major role in how conducive generic programming is in practice. Inquiry: Several mainstream programming languages (e.g. Java and C++) were first created without generics; features to support generic programming were added later, gradually. Much of the existing literature on supporting generic programming focuses thus on retrofitting generic programming into existing languages and identifying related implementation challenges. Is the programming experience significantly better, or different when programming with a language designed for generic programming without limitations from prior language design choices? Approach: We examine Magnolia, a language designed to embody generic programming. Magnolia is representative of an approach to language design rooted in algebraic specifications. We repeat a well-known experiment, where we put Magnolia's generic programming facilities under scrutiny by implementing a subset of the Boost Graph Library, and reflect on our development experience. Knowledge: We discover that the idioms identified as key features for supporting Stepanov-style generic programming in the previous studies and work on the topic do not tell a full story. We clarify which of them are more of a means to an end, rather than fundamental features for supporting generic programming. Based on the development experience with Magnolia, we identify variadics as an additional key feature for generic programming and point out limitations and challenges of genericity by property. Grounding: Our work uses a well-known framework for evaluating the generic programming facilities of a language from the literature to evaluate the algebraic approach through Magnolia, and we draw comparisons with well-known programming languages. Importance: This work gives a fresh perspective on generic programming, and clarifies what are fundamental language properties and their trade-offs when considering supporting Stepanov-style generic programming. The understanding of how to set the ground for generic programming will inform future language design.
The memoirs of Yuri Kamensky, O.E. Mandelstam’s classmate at the Tenishev School, convey a life picture of the memoirist’s kindred-friendly circle in post-revolutionary Petrograd. Many people in this circle were closely connected with the world of art and literature, making up the cultural environment that was destroyed or adapted with great difficulty to the realities of a new life. Based on research in various St. Petersburg archives, the article provides biographical data on three previously uncommented characters in the memoirs – Polina Uflyand, the poet Nikolai Otsup’s first wife, Tamara Vreden and her husband Joseph Kobetsky, a journalist and publisher. The data of personal files, questionnaires, applications to various authorities, materials of personal correspondence were used.
Literature (General), Slavic languages. Baltic languages. Albanian languages
The article deals with Russian prefixed verbs of motion in the reflection of the Turkish language. The topic is relevant due to the fact that in recent years the role of Russian language learning in Turkey is increasing because of the expansion of economic and cultural relations between the two countries. The aim of the study is to create a linguodidactic basis for developing methodological recommendations for teaching Russian prefixed verbs of motion to Turkish students. Different methods have been used to realize the goal. The article is based on the dissertations, textbooks and manuals on the Russian language for foreigners, scientific works comparing the Russian and Turkish languages. The study of verbs of motion in the practical course of the Russian language for Turkish students has a special place. Russian and Turkish language speakers perceive the world and their identity differently. The differences between the pictures of the world are reflected in culture and language, its vocabulary and grammatical categories. Thus, while there are universals in the verb systems of the Russian and Turkish languages, there are also significant differences in the idea of action, state, change, movement, denoted by verb units in the two languages. Russian prefixed verbs of motion do not have exact equivalents in Turkish and are translated by means of verbs with different root or translation transformations. The results of the comparative description of Russian prefixed verbs of motion and transferring their meanings in Turkish, and the identified differences served as the basis for developing methodological recommendations for teaching Russian prefixed verbs of motion to Turkish students, taking into account their native language. Basing on the research, a system of teaching prefixed verbs of motion to Turkish students, including methods of verb presentation and consolidation in oral and written speech, was developed. The prospects of this work are to create a nationally-oriented textbook on the topic Russian prefix verbs of motion.
Slavic languages. Baltic languages. Albanian languages
The semantic and plot-generating functions of the onomastic paradigm in the works of Dina Rubina “Napoleon wagon train” and “The White Dove of Cordoba” is examined in the article. The relevance of the study is due to the fact that the trilogy “Napoleon’s Wagon Train” has not previously been subjected to scientific analysis, nor has the artistic techniques of this trilogy been compared with those of other works by Dina Rubina. The novelty of the research is seen in the fact that, based on the material of the latest novels by Rubina, repeated motives of the reification and humanization of a name, giving it the status of an independent being, a character equal to the bearers of this name, are revealed. Attention is paid to the tendencies in the use of the onomastic code and its gravitation towards a certain type of characters, the life story of which is considered by the author in comparison with the characters who lose, hide and deliberately deform their names in an extensive chronotope, covering the period from the era of antiquity, the Renaissance and the Napoleonic wars to the present day. It is proved that the onomastic code, manifested in novels included in different trilogies, appears as a structural component cementing all the later novelistic works of Dina Rubina as the author’s supertext, arranged according to uniform semantic laws. The proper name in Rubina’s works is a meta-symbol, a sign of personality identification in its uniqueness and in the history of the clan and family.
Slavic languages. Baltic languages. Albanian languages
Many popular open source programming languages (Perl, Ruby or Python for example) have systems for distributing packaged source code that software developers can use when working in that particular programming language. This paper will consider the design principals that should be followed if designing such an open source code repository.
Although message-based (business) application integration is based on orchestrated message flows, current modeling languages exclusively cover (parts of) the control flow, while under-specifying the data flow. Especially for more data-intensive integration scenarios, this fact adds to the inherent data processing weakness in conventional integration systems. We argue that with a more data-centric integration language and a relational logic based implementation of integration semantics, optimizations from the data management domain(e.g., data partitioning, parallelization) can be combined with common integration processing (e.g., scatter/gather, splitter/gather). With the Logic Integration Language (LiLa) we redefine integration logic tailored for data-intensive processing and propose a novel approach to data-centric integration modeling, from which we derive the control-and data flow and apply them to a conventional integration system.
The target of this paper is to present an industry-ready prototype software for general game playing. This software can also be used as the central element for experimental economics research, interfacing of game-theoretic libraries, AI-driven software testing, algorithmic trade, human behavior mining and simulation of (strategic) interactions. The software is based on a domain-specific language for electronic business to business negotiations -- SIDL3.0. The paper also contains many examples to prove the power of this language.