Académique Documents
Professionnel Documents
Culture Documents
Cidade
Ano
0
O Passeio do Cavalo
Cidade
Ano
Sumrio
1 Introduo.....................................................................................3
2 Descrio do Problema..................................................................4
3 DESCRIO TEXTUAL DOS MOVIMENTOS DO XADREZ..................6
4 Sistema Algbrico..........................................................................8
5 EXPRESSO REGULAR...................................................................9
6 Gramtica regular que exemplifica uma sequncia de movimento
do cavalo em um tabuleiro 8x8...................................................................9
7 Gramtica regular que exemplifica uma sequncia de movimento
do cavalo completando o desafio passeio do cavalo em um tabuleiro 8x8..........9
8 Reconhecimento da Entrada.......................................................10
Introduo
Descrio do Problema
O Xadrez um jogo estratgico de
cada pea.
Alm do seu valor estratgico e ldico, o xadrez tambm se mostra muito
importante no ponto de vista matemtico e computacional. Diversos problemas de natureza
combinatria e topolgica ligado ao xadrez so conhecidos, foram estudados nas ltimas
centenas de anos e, mais recentemente, suas solues foram aplicadas para resoluo de
vrios problemas computacionais. Esses problemas so chamados de composies.
Em uma composio o problema apresentado por meio da definio de uma
distribuio de peas no tabuleiro e a soluo consiste em realizar uma ao determinada.
comum que a ao a ser realizada venha acompanhada de uma ou mais restries.
Existem diversas composies clssicas no xadrez. Uma delas conhecida como o passeio do
cavalo. Nessa composio o desafio fazer com que o cavalo passe por todas as casas do
tabuleiro. Inicialmente o cavalo est em uma casa qualquer e ele deve ser movimentado
obedecendo s regras de movimentao para essa pea.
Este desafio consiste em elaborar uma soluo
computacional, utilizando os conceitos de Linguagens
Formais e Autmatos, para verificar se uma sequncia de
movimentaes uma soluo para a composio do
passeio do cavalo. Para tanto o aluno convidado a
elaborar os formalismos geradores (expresses regulares e
Movimento do Cavalo (fonte UOL)
Rei: Move-se ou captura peas em qualquer sentido, uma casa de cada vez. Os
reis nunca podem se tocar. O rei a nica pea que no pode ser capturada.
Rainha: Move-se ou captura em qualquer sentido, quantas casas quiser desde
que seu caminho no esteja obstrudo por alguma pea da mesma cor. As nicas peas que a
Dama no pode saltar so sobre a torre ou sobre o peo.
Torre: Move-se ou captura nas linhas e colunas (horizontal e vertical), seguindo
num nico sentido em cada lance.
Bispo: Move-se ou captura pelas diagonais, seguindo num nico sentido em
cada lance.
Cavalo: o nico que salta sobre as peas (pretas ou brancas). O movimento
do cavalo assemelha-se letra "L", formada por quatro casas. O Cavalo captura somente a
pea adversria que esteja na casa final do seu salto.
Peo: Move-se para a casa sua frente, desde que no esteja ocupada. Ao ser
movido pela primeira vez, cada peo pode andar uma ou duas casas. O peo a nica pea
que captura de maneira diferente do seu movimento. A captura feita sempre em diagonal,
uma casa apenas. O peo nunca se move nem captura para trs.
Sistema Algbrico
seguinte maneira: primeiramente escreve-se a letra que representa a pea jogada, depois a
coordenada da casa na qual ela foi colocada, coluna e linha, nesta ordem.
EXPRESSO REGULAR
G = ({S, C}, {a1, b1, c1, d1, e1, f1, g1, h1, a2, b2, c2, d2, e2, f2, g2, h2, a3, b3,
c3, d3, e3, f3, g3, h3, a4, b4, c4, d4, e4, f4, g4, h4, a5, b5, c5, d5, e5, f5, g5, h5, a6, b6, c6, d6,
e6, f6, g6, h6, a7, b7, c7, d7, e7, f7, g7, h7, a8, b8, c8, d8, e8, f8, g8, h8}, R, S) onde R
SC
Ce4; Cc3; Cg3; Cd2; Cf2; Cc5; Cg5, Cd6; Cf6
G = ({S, C}, {a1, b1, c1, d1, e1, f1, g1, h1, a2, b2, c2, d2, e2, f2, g2, h2, a3, b3,
c3, d3, e3, f3, g3, h3, a4, b4, c4, d4, e4, f4, g4, h4, a5, b5, c5, d5, e5, f5, g5, h5, a6, b6, c6, d6,
e6, f6, g6, h6, a7, b7, c7, d7, e7, f7, g7, h7, a8, b8, c8, d8, e8, f8, g8, h8}, R, S) onde R:
SC
Ca8, Cb6, Cd7, Cc5, Ca4, Cb2, Cd1, Cc3, Ce4, Cf2, Ch1, Cg3,
Ch5,Cg7, Ce6, Cf8, Cg6, Ch8, Cf7, Ce5, Cg4, Ch2, Cf1, Ce3, Cc4,
Cd2,Cb1, Ca3, Cb5, Ca7, Cc8, Cd6, Ce8, Cf6, Ch7, Cg5, Ch3, Cg1,
Ce2,Cf4, Cd3, Cc1, Ca2, Cb4, Cd5, Cc7, Ca6, Cb8, Cc6, Cd8, Cb7,
Ca5,Cb3, Ca1, Cc2, Cd4, Cf3, Ce1, Cg2, Ch4, Cf5, Ce7, Cg8, Ch6
Reconhecimento da Entrada
Para reconhecermos a entrada dessa expresso usamos o conceito de autmato
determinstico, usamos a expresso obtida no cap.2.5, veja abaixo:
N (F3+D4).F5
Q
Q = {F3,D4,F5}.
= {a,b}.
F={F5}.
10
Reconhecemos:
ab
abb
11