Works matching DE "FORMAL languages"

Results: 896

Formal and Informal Linguistic Environments in Language Acquisition and Language Learning.

Published in:

TESOL Quarterly, 1976, v. 10, n. 2, p. 157, doi. 10.2307/3585637

By:

Krashen, Stephen D.

Publication type:

Article

The historical linguistics of signed languages.

Published in:

Diachronica, 2024, v. 41, n. 2, p. 141, doi. 10.1075/dia.24059.bow

By:

Bowern, Claire

Publication type:

Article

Synchronic variation and loss of case: Formal and informal language in a Dutch corpus of 17th-century Amsterdam texts.

Published in:

Diachronica, 2013, v. 30, n. 3, p. 353, doi. 10.1075/dia.30.3.03wee

By:

Weerman, Fred;
Olson, Mike;
Cloutier, Robert

Publication type:

Article

Growing a numeral system: The historical development of numerals in an Amazonian language family.

Published in:

Diachronica, 2006, v. 23, n. 2, p. 259, doi. 10.1075/dia.23.2.03epp

By:

Epps, Patience

Publication type:

Article

Melody learning and long-distance phonotactics in tone.

Published in:

Natural Language & Linguistic Theory, 2020, v. 38, n. 4, p. 1145, doi. 10.1007/s11049-020-09466-y

By:

Jardine, Adam

Publication type:

Article

Pure reaction automata.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 189, doi. 10.1007/s11047-024-09980-7

By:

Ascone, Rocco;
Bernardini, Giulia;
Formenti, Enrico;
Leiter, Francesco;
Manzoni, Luca

Publication type:

Article

On the spectrum between reaction systems and string rewriting.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 159, doi. 10.1007/s11047-024-09986-1

By:

Alhazov, Artiom;
Freund, Rudolf;
Ivanov, Sergiu

Publication type:

Article

One-dimensional pattern generation by cellular automata.

Published in:

Natural Computing, 2022, v. 21, n. 3, p. 361, doi. 10.1007/s11047-022-09887-1

By:

Kutrib, Martin;
Malcher, Andreas

Publication type:

Article

Conjugate word blending: formal model and experimental implementation by XPCR.

Published in:

Natural Computing, 2021, v. 20, n. 4, p. 647, doi. 10.1007/s11047-021-09867-x

By:

Bellamoli, Francesco;
Franco, Giuditta;
Kari, Lila;
Lampis, Silvia;
Ng, Timothy;
Wang, Zihao

Publication type:

Article

Pumping lemmas for classes of languages generated by folding systems.

Published in:

Natural Computing, 2021, v. 20, n. 2, p. 321, doi. 10.1007/s11047-019-09771-5

By:

Lucero, Jorge C.

Publication type:

Article

Computational completeness of simple semi-conditional insertion–deletion systems of degree (2,1).

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 563, doi. 10.1007/s11047-019-09742-w

By:

Fernau, Henning;
Kuppusamy, Lakshmanan;
Raman, Indhumathi

Publication type:

Article

On decidability and closure properties of language classes with respect to bio-operations.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 225, doi. 10.1007/s11047-015-9500-y

By:

Ibarra, Oscar

Publication type:

Article

Simulation methods for quantum walks on graphs applied to formal language recognition.

Published in:

Natural Computing, 2015, v. 14, n. 1, p. 145, doi. 10.1007/s11047-014-9441-x

By:

Barr, K.;
Fleming, T.;
Kendon, V.

Publication type:

Article

Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 653, doi. 10.1007/s11047-012-9329-6

By:

Sears, David;
Salomaa, Kai

Publication type:

Article

Theoretical and computational properties of transpositions.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 795, doi. 10.1007/s11047-010-9207-z

By:

Daley, Mark;
McQuillan, Ian;
McQuillan, James M.;
Mahalingam, Kalpana

Publication type:

Article

Computational power of insertion-deletion (P) systems with rules of size two.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 835, doi. 10.1007/s11047-010-9208-y

By:

Krassovitskiy, Alexander;
Rogozhin, Yurii;
Verlan, Sergey

Publication type:

Article

On the regularity of circular splicing languages: a survey and new developments.

Published in:

Natural Computing, 2010, v. 9, n. 2, p. 397, doi. 10.1007/s11047-009-9155-7

By:

Bonizzoni, Paola;
De Felice, Clelia;
Fici, Gabriele;
Zizza, Rosalba

Publication type:

Article

Modelling programmed frameshifting with frameshift machines.

Published in:

Natural Computing, 2010, v. 9, n. 1, p. 239, doi. 10.1007/s11047-009-9144-x

By:

Daley, Mark;
McQuillan, Ian

Publication type:

Article

Distillation of weighted automata from recurrent neural networks using a spectral approach.

Published in:

Machine Learning, 2024, v. 113, n. 5, p. 3233, doi. 10.1007/s10994-021-05948-1

By:

Eyraud, Rémi;
Ayache, Stéphane

Publication type:

Article

A template-based approach for the specification of 3D topological constraints.

Published in:

GeoInformatica, 2020, v. 24, n. 3, p. 683, doi. 10.1007/s10707-020-00401-2

By:

Belussi, Alberto;
Migliorini, Sara;
Negri, Mauro;
Pelagatti, Giuseppe

Publication type:

Article

Yet Another Map Algebra.

Published in:

GeoInformatica, 2009, v. 13, n. 2, p. 183, doi. 10.1007/s10707-008-0045-4

By:

Cerveira Cordeiro, João;
Câmara, Gilberto;
Moura de Freitas, Ubirajara;
Almeida, Felipe

Publication type:

Article

Herbrand's theorem revisited.

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 905, doi. 10.1002/pamm.201610441

By:

Afshari, Bahareh;
Hetzl, Stefan;
Leigh, Graham E.

Publication type:

Article

Validating multiple variants of an automotive light system with Alloy 6.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 365, doi. 10.1007/s10009-024-00752-3

By:

Cunha, Alcino;
Macedo, Nuno;
Liu, Chong

Publication type:

Article

A verified low-level implementation and visualization of the adaptive exterior light and speed control system.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 403, doi. 10.1007/s10009-024-00750-5

By:

Krings, Sebastian;
Körner, Philipp;
Dunkelau, Jannik;
Rutenkolk, Kristin

Publication type:

Article

Programming event monitors.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 33, doi. 10.1007/s10009-023-00706-1

By:

Havelund, Klaus;
Holzmann, Gerard J.

Publication type:

Article

Modelling flocks of birds and colonies of ants from the bottom up.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 675, doi. 10.1007/s10009-023-00731-0

By:

De Nicola, Rocco;
Di Stefano, Luca;
Inverso, Omar;
Valiani, Serenella

Publication type:

Article

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 911, doi. 10.1007/s10009-022-00665-z

By:

Lee, Jaehun;
Bae, Kyungmin;
Ölveczky, Peter Csaba;
Kim, Sharon;
Kang, Minseok

Publication type:

Article

Specifying and verifying usage control models and policies in TLA+.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 685, doi. 10.1007/s10009-020-00600-0

By:

Grompanopoulos, Christos;
Gouglidis, Antonios;
Mavridou, Anastasia

Publication type:

Article

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 281, doi. 10.1007/s10009-019-00540-4

By:

Cunha, Alcino;
Macedo, Nuno

Publication type:

Article

Underapproximation of procedure summaries for integer programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 565, doi. 10.1007/s10009-016-0420-7

By:

Ganty, Pierre;
Iosif, Radu;
Konečný, Filip

Publication type:

Article

Metasynthesis and genealogy of modern design principles.

Published in:: Journal of Design Thinking, 2022, v. 3, n. 2, p. 1
Publication type:: Article

Alignment of the UMLS semantic network with BioTop: methodology and assessment.

Published in:

Bioinformatics, 2009, v. 25, n. 12, p. i69, doi. 10.1093/bioinformatics/btp194

By:

Stefan Schulz;
Elena Beisswanger;
LÃ¡szlÃ³ van den Hoek;
Olivier Bodenreider;
Erik M. van Mulligen

Publication type:

Article

BUILD POLITENESS SPEAK DIGITAL LITERACY ORIENTED IN INDONESIAN LANGUAGE LEARNING AT AL ABIDIN SURAKARTA INFORMATION AND COMMUNICATION TECHNOLOGY ELEMENTARY SCHOOL.

Published in:

Eduvest: Journal Of Universal Studies, 2025, v. 5, n. 3, p. 3347, doi. 10.59188/eduvest.v5i3.44727

By:

Natul Ishmah, Lutfi Muzayya;
Sutama;
Muhibbin, Ahmad

Publication type:

Article

Students' errors in L1 Spanish grammar from the perspective of formal linguistics.

Published in:

Pedagogical Linguistics, 2021, v. 2, n. 2, p. 153, doi. 10.1075/pl.21004.bra

By:

Bravo, Ana

Publication type:

Article

New opportunities for community spaces on the edge of agglomeration. Analysis of rural public spaces and public space situations around Budapest.

Published in:

Przestrzeń Urbanistyka Architektura, 2024, n. 1, p. 81, doi. 10.37705/PUA/1/2024/005

By:

Dormán, Miklós

Publication type:

Article

Libor Polák (1950–2020).

Published in:

2021

By:

Kad'ourek, Jiří;
Klíma, Ondřej

Publication type:

Editorial

Topological entropy of formal languages.

Published in:

Semigroup Forum, 2017, v. 94, n. 3, p. 556, doi. 10.1007/s00233-016-9782-0

By:

Schneider, Friedrich;
Borchmann, Daniel

Publication type:

Article

Deciding context equivalence of binary overlap-free words in linear time.

Published in:

Semigroup Forum, 2012, v. 84, n. 3, p. 447, doi. 10.1007/s00233-012-9382-6

By:

Shur, Arseny

Publication type:

Article

The loop problem for Rees matrix semigroups.

Published in:

Semigroup Forum, 2008, v. 76, n. 2, p. 204, doi. 10.1007/s00233-007-9016-6

By:

Kambites, Mark;
Pride, Steve

Publication type:

Article

Cómo (re)hacer héroes con palabras. El piadoso Aquiles y la preciosa muerte de Héctor.

Published in:

Auster, 2023, n. 28, p. 46, doi. 10.24215/23468890e085

By:

Andrea Marrón, Gabriela

Publication type:

Article

GENDER, SEX, AND SOCIETY. ON THE FORMATION AND USAGE OF FEMININE FORMS IN POLISH AND SLOVENIAN.

Published in:

Acta Universitatis Lodziensis: Kształcenie Polonistyczne Cudzoziemców, 2020, n. 25, p. 61, doi. 10.18778/0860-6587.27.02

By:

Wtorkowska, Maria

Publication type:

Article

Das figural-plastische Werk von Kunstschreiner und Zierratenschnitzer Ferdinand Hundt, insbesondere seine um 1740 entstandene meisterliche Frühlingsallegorie am Kaminspiegelrahmen im südlichen Audienzzimmer der Residenz Würzburg.

Published in:

Mainfränkisches Jahrbuch für Geschichte und Kunst, 2021, v. 73, p. 235

By:

Schulz, Reiner

Publication type:

Article

Introduction.

Published in:

Probus: International Journal of Latin & Romance Linguistics, 2020, v. 32, n. 2, p. 175, doi. 10.1515/probus-2020-0007

By:

Ledgeway, Adam;
Roberts, Ian

Publication type:

Article

The phonological mediation of morphological complexity: Verb stem leveling in the history of French[1].

Published in:

Probus: International Journal of Latin & Romance Linguistics, 2004, v. 16, n. 1, p. 1, doi. 10.1515/prbs.2004.001

By:

Bullock, Barbara E.

Publication type:

Article

WHAT THE PARSER NEEDS TO KNOW IN ORDER TO ATTACH A PHRASE.

Published in:

Folia Linguistica, 1994, v. 28, n. 1/2, p. 67, doi. 10.1515/flin.1994.28.1-2.67

By:

Lasser, Ingeborg

Publication type:

Article

LANGUAGE CONTACT AND LANGUAGE NORM.

Published in:

Folia Linguistica, 1988, v. 22, n. 1/2, p. 11, doi. 10.1515/flin.1988.22.1-2.11

By:

Denison, Norman

Publication type:

Article

ЕФЕКТИВНЕ НАВЧАННЯ ІНОЗЕМНИМ МОВАМ: РОЛЬ КРЕАТИВНОГО ПИСЬМА.

Published in:

Continuing Professional Education: Theory & Practice, 2022, v. 72, n. 3, p. 33, doi. 10.28925/1609-8595.2022.3.4

By:

Durdas, Alla;
Harbuza, Tetiana;
Radchenko, Yuliia;
Starosta, Hanna

Publication type:

Article

Formal Grammars Generating Fractal Descriptions of Molecular Structures.

Published in:

Complex Systems, 2024, v. 32, n. 4, p. 395, doi. 10.25088/ComplexSystems.32.4.395

By:

Longo, Savino

Publication type:

Article

THE RENAISSANCE GARDEN AND ITS CONTRADICTIONS.

Published in:

Baltic Journal of Art History, 2023, v. 25, p. 43, doi. 10.12697/BJAH.2023.25.03

By:

Nutt, Nele

Publication type:

Article

Три модели художественного мышления. Творчество Олега Животкова и его сыновей - Сергея и Александра

Published in:

Art of Eastern Europe / Sztuka Europy Wschodniej / Iskusstvo Vostočnoj Evropy, 2019, v. 7, p. 207

By:

Петрова, Ольга

Publication type:

Article