Theoretical and Implementational Aspects of the Formal Language Server (LaSer)

LaSer, the formal language server, allows a user to enter a question about an independent language and provides an answer either in real time or by generating a program that can be executed at the user’s site. Typical examples of independent languages are codes in the classic sense, such as prefix c...

Descripción completa

Detalles Bibliográficos
Autor principal: Konstantinidis, Stavros
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309479/
http://dx.doi.org/10.1007/978-3-030-51466-2_25
_version_ 1783549215188713472
author Konstantinidis, Stavros
author_facet Konstantinidis, Stavros
author_sort Konstantinidis, Stavros
collection PubMed
description LaSer, the formal language server, allows a user to enter a question about an independent language and provides an answer either in real time or by generating a program that can be executed at the user’s site. Typical examples of independent languages are codes in the classic sense, such as prefix codes and error-detecting languages, or DNA-computing related codes. Typical questions about independent languages are the satisfaction, maximality and construction questions. We present some theoretical and implementational aspects of LaSer, as well as some ongoing progress and research plans.
format Online
Article
Text
id pubmed-7309479
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73094792020-06-23 Theoretical and Implementational Aspects of the Formal Language Server (LaSer) Konstantinidis, Stavros Beyond the Horizon of Computability Article LaSer, the formal language server, allows a user to enter a question about an independent language and provides an answer either in real time or by generating a program that can be executed at the user’s site. Typical examples of independent languages are codes in the classic sense, such as prefix codes and error-detecting languages, or DNA-computing related codes. Typical questions about independent languages are the satisfaction, maximality and construction questions. We present some theoretical and implementational aspects of LaSer, as well as some ongoing progress and research plans. 2020-06-24 /pmc/articles/PMC7309479/ http://dx.doi.org/10.1007/978-3-030-51466-2_25 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Konstantinidis, Stavros
Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
title Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
title_full Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
title_fullStr Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
title_full_unstemmed Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
title_short Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
title_sort theoretical and implementational aspects of the formal language server (laser)
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309479/
http://dx.doi.org/10.1007/978-3-030-51466-2_25
work_keys_str_mv AT konstantinidisstavros theoreticalandimplementationalaspectsoftheformallanguageserverlaser

Ejemplares similares