Съдържание
7 отношения: Регулярен израз, Формални науки, Формални езици, Цялостност по Тюринг, Информатика, Език (лингвистика), Експертна система.
Регулярен израз
Резултат от търсене с шаблона (?: търсят се поне два поредни интервала, разположени между точка (.) и главна буква. Стивън Коул Клийни, спомогнал за разработването на техниката В информатиката регулярен израз (regular expression, съкращавано понякога като regex или regexp) е последователност от знаци, която дефинира шаблон за търсене.
Виж Формален език и Регулярен израз
Формални науки
Формалните науки е клон на науката, изучаващ дисциплини от формалните езици, свързани с формалните системи, като логика, математика, статистика, теоретична информатика, изкуствен интелект, теория на информацията, теория на игрите, системна теория, теория на решенията и теоретична лингвистика.
Виж Формален език и Формални науки
Формални езици
#виж Формален език.
Виж Формален език и Формални езици
Цялостност по Тюринг
В изчислителната теория система от правила за манипулация на данни (като набор от инструкции на компютъра, програмен език, или клетъчен автомат) се смята за цялостна по Тюринг или изчислително универсална, ако може да се използва за симулиране на която и да било еднолентова машина на Тюринг.
Виж Формален език и Цялостност по Тюринг
Информатика
Информатиката се занимава с теоретичните основи на информацията, изчисленията и с практическите техники за тяхното приложение.
Виж Формален език и Информатика
Език (лингвистика)
Езѝкът е система от звукове и/или знаци за кодиране и декодиране на информация.
Виж Формален език и Език (лингвистика)
Експертна система
Базова архитектура на експертна система. Експертна система представлява един от класовете системи с изкуствен интелект, които могат да получават, натрупват и коригират знания от определена предметна област, да осъществяват извод на нови знания, да решават различни практически задачи на базата на натрупаните знания и да обясняват получените резултати и пътя на решението.