Programación

de sistemas

Unidad I. Introducción a los sistemas

MC. Eduardo Gasca Figueroa

Departamento de Sistemas y Computación, ITH, Hermosillo, Sonora.
eduardo.gasca@hotmail.com
Información de la materia
Objetivos
Temario
Introducción a la programación de sistemas

¿Qué es?
• Un sistema es un conjunto de componentes que interaccionan
entre si para lograr un objetivo común. Las personas se comunican
con el lenguaje, que es un sistema muy desarrollado formado por
palabras y símbolos que tienen significado para el que habla y para
quienes lo escuchan, lo mismo es para las computadoras las cuales
tienen sistemas y se comunican por medio de computadoras.

• La programación es el proceso de convertir las especificaciones a

grandes rasgos de los sistemas en instrucciones de máquina que
produzcan los resultados deseados.
Introducción a la programación de sistemas

•  Un lenguaje de programación está formado

por un conjunto de símbolos básicos
(alfabeto) y un conjunto de reglas que
especifican como manipularlos. También debe
darle significado a las cadenas formadas al
manipular los símbolos básicos.
Información de la materia

¿Que estudia?

• El trabajo de un programador de sistemas es seleccionar, modificar y mantener el complejo

software del sistema operativo. Por lo tanto, los programadores de sistemas desempeñan
una función de apoyo al mantener el ambiente del software del sistema operativo en el que
trabajan los programadores de aplicaciones y los operadores de las computadoras. También
participan en las decisiones relativas a reducciones o ampliaciones de hardware y/o
software.

• Se entiende por programación de sistemas el conjunto de programas necesario para que

una computadora de una imagen coherente y monolítica ante sus usuarios. Es un área
especializada dentro de las ciencias de la computación. Así, mediante la programación de
sistemas, no solo se manejan las computadoras por medio del lenguaje maquina (0 y 1)
sino por otros sistemas operativos, sin lo cual sería muy difícil la interacción con la
maquina.
Historia - Godel y Turing.

• Kurk Godel
Cualquier Teoría matemática ha de ser
incompleta. Siempre habrá en ella afirmaciones
que no se podrán demostrar ni negar.

Este teorema puso fin a la esperanza de los

matemáticos de construir un sistema completo y
consistente, el que fuera posible demostrar
cualquier teorema, Año 1900.
Historia - Godel y Turing.

Alan Turing. El origen de la informática teórica.

• Alan turing introdujo la máquina de turing, una entidad matemática abstracta que
formalizo por primera vez el concepto de algoritmo (tarea 1). Con este teorema
se inicia el desarrollo de maquinas de calcular automáticas y el desarrollo de
teoremas tales como que existen problemas irresolubles o sin resolver.

• Ninguna maquina de turing (por ende ninguna computadora) es capaz de obtener

solución a todos los problemas formulados”.

• El teorema de turing y de godel son equivalentes mientras el segundo dice que no

todos los teoremas pueden demostrarse, el primero dice que no todos los
problemas pueden resolverse.
Autómatas

Claude Elwood Shannon

• La investigación de Claude dio origen a la teoría maquinas secuenciales
y de los autómatas finitos (tema de estudio de esta materia).

• Los autómatas son sistemas capaces de transmitir información. En

sentido amplio, todo sistema que acepte señales en su entorno y, como
resultado, cambia su estado y transmite otras señales al medio, puede
considerarse como un autómata.

• "possibly the most important, and also the most famous, master's
thesis of the century".
• La teoría de autómatas ha encontrado diversas aplicaciones pero entre ellas
se maneja conceptos comunes como el control, la acción y la memoria.

• Teoría de la comunicación.
• Teoría de control.
• Lógica de circuitos secuenciales.
• Computadoras.
• Redes de computadoras y codificadoras.
• Reconocimiento de patrones.
• Estructura y análisis de los lenguajes de programación para computadoras.
• Traducción automática de lenguajes.
• Teoría algebraica de lenguajes.
• Se sabe que un autómata (o maquina de
secuencia) recibe la información de su
entorno (entrada o estimulo), la transforma y
genera nueva información, que puede
trasmitirse al entorno (salida).

• Autómata aceptador: devuelve si la entrada

es correcta o no.
Lenguajes y Gramática.

La lingüística
• Avram Noam Chomsky, genero una teoría llamada gramáticas
transformacionales. Que estableció las bases de la lingüística
matemática y proporciono una herramienta para los lenguajes de
programación.

• El estudio de los lenguajes se divide en el análisis de la estructura

de las frases (gramática) y su significado (semántica), a su vez la
gramática puede analizar las formas que toman las palabras, su
combinación para formar frases correctas (sintaxis).

• Máquinas abstractas y lenguajes formales.

Alfabeto, símbolos y palabras.

Se le llama alfabeto a un conjunto finito, no vacio. Los

elementos de un alfabeto se llaman símbolos. Un
alfabeto se define por enumeración de los símbolos
que contiene.

Por ejemplo:
∑1={a,b,c,d,e,…,z}
∑2={0,1}
∑3={0,1,2,3,4,5,6,7,8,9,…}
Se llama palabra, formada con los símbolos de un alfabeto, a una
secuencia finita de los símbolos de ese alfabeto.

x= Juan (∑1)
y= 1234 (∑2)

– Al número de letras que componen una palabra se le conoce como longitud de

una palabra. |x|

– La palabra cuya longitud es cero se le conoce con el símbolo λ

– Lenguaje universal es el conjunto de palabras que se pueden formar a partir de

las letras de un alfabeto definido. W(∑) se denota y es un conjunto infinito.
Operaciones con palabras

• Concatenación de 2 palabras.

Sean 2 palabras X y Y tales que X exista en

W(∑), Y exista en W(∑). Suponiendo que X
tiene i letras, e Y tiene j letras:

X=a1,a2,a3…. ai
Y= b1,b2,b3….aj
• Donde las letras ai y bj son símbolos del
alfabeto ∑. se representa como XY o se
representa con otra palabra Z, y se obtiene
poniendo las letras de Y a continuación de las
letras de X (X.Y)

• Z=XY=a1…aib1…bj
Propiedades de la concatenación

• Operación cerrada:
– X є w(∑) ^ Y є w(∑) => XY є w(∑)
• Propiedad Asosiativa
– X(YZ) =(XY)Z
• Existencia de elemento neutro.
– λX=Xλ= X
• Propiedad no conmutativa
– XY Diferente de YX
Potencia de una palabra

• Se llama potencia i-esima de una palabra a la

operación que consiste en concatenar consigo
misma i veces.

• X=XXX….X(i VECES)

• X^1=X
• X^0= λ
Reflexión de una palabra

• Sea X=a1,a2,a3,…. Se llama palabra reflejada o

inversa de X y se representa como X^-1

• X^-1= an….a3,a2,a1

• La longitud de una palabra inversa es:

• |x^-1|=|X|
Lenguaje

• Se llama lenguaje sobre el alfabeto a todo subconjunto del lenguaje

universal de ∑.

• L С W(∑)

• El lenguaje vacio es un subconjunto vacio (θ) de w(∑), no debe de

confundirse con el lenguaje que tiene una única palabra λ Que también es
un subconjunto de w(∑).

• La cardinalidad (numero de palabras) de estos conjuntos es distintos

C(θ)=0
C(λ)=1
Operaciones con lenguajes

• Unión de lenguajes
– Operación cerrada.
– Propiedad asociativa.
– Existencia de elemento neutro.
– Propiedad conmutativa.
– Propiedad idempotente.

• Concatenación de lenguajes.
– Operación cerrada.
– Propiedad asociativa.
– Existencia de elemento neutro.
Unión de lenguajes

Sean dos lenguajes definidos sobre el mismo

alfabeto, L1 С W(∑), L2 С W(∑), llamamos unión
de los dos lenguajes, L1 υ L2, al lenguaje
definido así:
{x | x є L1 ^ x є L2 }
La unión de los lenguajes tiene las siguientes
operaciones
• Operación cerrada.
• La unión de 2 lenguajes sobre el mismo alfabeto es
también un lenguaje de dicho alfabeto.
• Propiedad Asociativa.
• (L1 υ L2) υ L3= L1 υ (L2 υ L3)
• Existencia de elemento neutro
• θ υ L = L υ θ= L
• Propiedad Conmutativa
• Cuales quiera que sea L1 y L2, se verifica que
L1 υ L2 = L2 υ L1
Concatenación de 2 lenguajes

• Sean dos lenguajes definidos sobre el mismo alfabeto,

L1 С W(∑), L2 С W(∑), llamamos concatenación de dos
lenguajes, L1L2, al lenguaje definido asi:

• {xy | x є L1 ^ y є L2 }

• Es decir las palabras del lenguaje concatenación

(nuevo lenguaje) se forman concatenando una
palabra del primer lenguaje con otra del segundo.
• Anterior es valido si solo si, los lenguajes
tiene al menos un elemento.
ejercicio

• Sea ∑ ={0,1,2}, X=00, Y=1, z=210,

definir las siguientes palabras:

XY, XZ, YZ, XYZ, X^3