-1
$\begingroup$

This question already has an answer here:

Let $L$ be a regular language with alphabet $\Sigma = \{a,b,c\}$.

Prove that the following language is regular:

$\{w | w \in L \text{ and } w \text{ starts with } abc \}$.

I wonder what proof strategy I can use to prove this.

$\endgroup$

marked as duplicate by Raphael Jun 5 '17 at 21:26

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ Welcome to Computer Science! What have you tried? Where did you get stuck? We do not want to just hand you the solution; we want you to gain understanding. However, as it is we do not know what your underlying problem is, so we can not begin to help. See here for tips on asking questions about exercise problems. If you are uncertain how to improve your question, why not ask around in Computer Science Chat? $\endgroup$ – Raphael Jun 5 '17 at 21:25
2
$\begingroup$

Use closure properties of regular languages.

$\endgroup$
  • $\begingroup$ $\{w | w \in L \text{ and } w \text{ starts with } abc \} = L \cap abc(a|b|c)^*$. And regular languages are closed under intersection. Am I right? $\endgroup$ – fornit Jun 5 '17 at 21:21
  • $\begingroup$ Right, that's the simplest proof. $\endgroup$ – Yuval Filmus Jun 5 '17 at 21:40

Not the answer you're looking for? Browse other questions tagged or ask your own question.